kennt (knows)

The epistemic predicate of knowing. (knows agent formula) means that agent knows the proposition expressed by formula. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie

inheritable relation

propositionale Einstellung

kennt

Superrelation(s)

imBereichInteresses

kennt

Coordinate term(s)

glaubt betrachtet wünscht

Type restrictions

knows(kognitiver Agent, Formel)

Related WordNet synsets

cognition, knowledge: the psychological result of perception and learning and reasoning
knowing: clear and certain mental apprehension
cognizance, ken: range of what one can know or understand
known: apprehended with certainty; "a known quantity"; "the limits of the known world"; "a musician known throughout the world"; "a known criminal"

See more related synsets on a separate page.

Axioms (8)

Wenn agent kennt formula , dann agent glaubt , dass formula.

(=>
      (knows ?AGENT ?FORMULA)
      (believes ?AGENT ?FORMULA))

Wenn agent kennt formula , dann formula ist true .

(=>
      (knows ?AGENT ?FORMULA)
      (true ?FORMULA True))

Wenn meas ist ein fall von Messen und meas ist der agent von agent und obj ist ein patient von meas , dann es gibt ein quant,unit der "agent kennt "das mass von obj ist "quant unit(s)" " " hält während "sofort nach "die zeit des Bestehens von meas"" .

(=>
      (and
            (instance ?MEAS Measuring)
            (agent ?MEAS ?AGENT)
            (patient ?MEAS ?OBJ))
      (exists
            (?QUANT ?UNIT)
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?MEAS))
                  (knows
                        ?AGENT
                        (measure
                              ?OBJ
                              (MeasureFn ?QUANT ?UNIT))))))

Wenn count ist ein fall von Zählen und count ist der agent von agent und entity ist ein patient von count , dann es gibt ein number der agent kennt ""die Zahl Fällen in entity" ist gleich number " .

(=>
      (and
            (instance ?COUNT Counting)
            (agent ?COUNT ?AGENT)
            (patient ?COUNT ?ENTITY))
      (exists
            (?NUMBER)
            (knows
                  ?AGENT
                  (equal
                        (CardinalityFn ?ENTITY)
                        ?NUMBER))))

Wenn investigate ist ein fall von Untersuchen und investigate ist der agent von agent und prop ist ein patient von investigate , dann "agent kennt prop nicht" hält während "die zeit des Bestehens von investigate" .

(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))

Wenn proc ist ein fall von Diagnoseprozess und proc ist der agent von agent , dann es gibt ein cause der proc hat Zweck von "agent kennt "cause verursacht proc " " für agent .

(=>
      (and
            (instance ?PROC DiagnosticProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?CAUSE)
            (hasPurposeForAgent
                  ?PROC
                  (knows
                        ?AGENT
                        (causes ?CAUSE ?PROC))
                  ?AGENT)))

Wenn question ist ein fall von Ausfragen und question ist der agent von agent und formula ist ein patient von question und formula ist ein fall von Formel , dann "agent kennt formula nicht" hält während "die zeit des Bestehens von question" .

(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))

Wenn see ist ein fall von Sehen und see ist der agent von agent und obj ist ein patient von see , dann

illuminated ist ein attribut von obj
es gibt ein Farbeattribut prop der agent kennt "prop ist ein attribut von obj "

(=>
      (and
            (instance ?SEE Seeing)
            (agent ?SEE ?AGENT)
            (patient ?SEE ?OBJ))
      (and
            (attribute ?OBJ Illuminated)
            (exists
                  (?PROP)
                  (and
                        (instance ?PROP ColorAttribute)
                        (knows
                              ?AGENT
                              (attribute ?OBJ ?PROP))))))