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

knows comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
PropositionalAttitude  The Class of IntentionalRelations where the Agent has awareness of a Proposition
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
IntentionalRelation 
knowsFormulaAgentThe 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
(=>
(knows ?AGENT ?FORMULA)
(true ?FORMULA True))
 PropositionalAttitude

Next PropositionalAttitudebelieves    UpPropositionalAttitude    Previous PropositionalAttitudedesires