SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > knows |
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 | (=> | IntentionalRelation | |||
knows | Formula | Agent | 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 | (=> | PropositionalAttitude |
Next PropositionalAttitude: believes Up: PropositionalAttitude Previous PropositionalAttitude: desires