knows that

• CURIE: gmeow:knowsThat
• IRI: https://blackcatinformatics.ca/gmeow/knowsThat
• Category: property
• Defined by: gmeow:slices/epistemics
• Box roles: RBox role (What is this?)

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 are modeled in this module via gmeow:justifiedBy and gmeow:defeatedBy.

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 .

Flagship Epistemic Ledger

• Source: slices/core/epistemics/examples/flagship-epistemic-ledger.ttl
• Examples catalog: open in catalog#example-slices-core-epistemics-examples-flagship-epistemic-ledger

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/epistemics/flagship/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



# --- Non-factive knowsThat coexisting with standpoint-indexed denial -------------
# knowsThat is NON-FACTIVE: asserting it only entails gmeow:believes for the LLM;
# it commits no global truth verdict.
ex:llm gmeow:knowsThat ex:propRecall .

Common Companion Terms

gmeow:believes, gmeow:Agent

External Equivalences

Equivalent or closely aligned targets: sumo

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

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, model justification grounds via gmeow:justifiedBy and gmeow:defeatedBy declared in this module, 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.