knows that

• CURIE: gmeow:knowsThat
• IRI: https://blackcatinformatics.ca/gmeow/knowsThat
• Category: property
• Defined by: gmeow:slices/epistemics

An agent knows that a proposition holds — justified, standpoint-true belief held from a vantage. THE KEYSTONE: gmeow:knowsThat rdfs:subPropertyOf gmeow:believes, so asserting knowsThat materialises believes (knowledge entails belief); the reverse never holds. knowsThat is NON-FACTIVE: it carries no truth commitment and no isTrue axiom — it is a vantage-indexed CLAIM that (belief and truth-per-frame and justification) holds, never a global verdict. The reasoner never promotes justified-true-belief to knowledge; that judgement, and any Gettier defeater, is solver work (Principle 12). Range OPEN, like gmeow:believes. Justification grounds land in a sibling child.

Structure

Property shape: object property; gmeow:Agent -> ? Sub-property of: gmeow:believes

Practical Pattern

Use gmeow:knowsThat from gmeow:Agent to ? when the relationship itself belongs in the native GMEOW graph.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Belief And Knowledge

• Source: slices/core/epistemics/examples/belief-and-knowledge.ttl
• Examples catalog: open in catalog#example-slices-core-epistemics-examples-belief-and-knowledge

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://example.org/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .



ex:ada a gmeow:Agent ;
    gmeow:knowsThat            ex:earthOrbitsSun ;   # entails gmeow:believes ex:earthOrbitsSun
    gmeow:believes            ex:coffeeIsHealthy ;
    gmeow:accepts             ex:nullHypothesis ;   # a working premise — NOT believed
    gmeow:suspendsJudgementOn ex:lifeOnEuropa .

Common Companion Terms

gmeow:believes, gmeow:Agent

Usage Advice

Use when

• Use to record justified, standpoint-true belief held from a vantage — the keystone knowledge-that attitude; asserting it materialises gmeow:believes (knowledge entails belief), so reach for it only when the holding is justified, not merely held.

Avoid when

• Avoid reading it as a factive 'knows X is true' verdict — it is NON-FACTIVE, a vantage-indexed claim with no isTrue axiom; promotion of justified-true-belief to knowledge and any Gettier defeater is solver work (Principle 12), never a reasoner entailment, and truth stays per-frame on gmeow:standpointModality / gmeow:claimModality.

How to use

• Point the agent at the proposition or reified statement; carry truth-per-frame on gmeow:standpointModality / gmeow:accordingTo of the holding statement, leave the justification grounds to a sibling child, and rely only on the safe entailment knowsThat ⊑ believes — never on a global truth bit.

Scope notes

• No factive knows: unlike SUMO/CYC knows, asserting gmeow:knowsThat commits the proposition true in NO global model — truth is per-frame (gmeow:standpointModality / gmeow:claimModality, standpoint slice). The only entailment is the safe one: knowsThat implies believes.

Examples

• ex:alice gmeow:knowsThat ex:earthIsRound.