SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > knows
Next PropositionalAttitudebelieves    UpPropositionalAttitude    Previous PropositionalAttitudedesires   

knows
subjectfact 
knowsdocumentation 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 knowledge2001-11-30 13:34:34.0
has axiom
(=>
(knows ?AGENT ?FORMULA)
(believes ?AGENT ?FORMULA))
2001-11-30 13:34:34.0
has axiom
(=>
(and
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
(exists (?NUMBER)
(knows ?AGENT (equal (CardinalityFn ?ENTITY)))))
2001-11-30 13:34:34.0
has axiom
(=>
(and
(instance ?INVESTIGATE Investigating)
(agent ?INVESTIGATE ?AGENT)
(patient ?INVESTIGATE ?PROP))
(holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))
2001-11-30 13:34:34.0
has axiom
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists (?QUANT ?UNIT)
(holdsDuring (ImmediateFutureFn (WhenFn ?MEAS))
(knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))
2001-11-30 13:34:34.0
has axiom
(=>
(knows ?AGENT ?FORMULA)
(true ?FORMULA True))
2001-11-30 13:34:34.0
has domain1 Agent2001-11-30 13:34:34.0
has domain2 Formula2001-11-30 13:34:34.0
is an instance of PropositionalAttitude2001-11-30 13:34:34.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next PropositionalAttitudebelieves    UpPropositionalAttitude    Previous PropositionalAttitudedesires