SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > IntentionalRelation > PropositionalAttitude > considers

considers
subject			fact

considers	documentation (considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA
	has domain1 Agent
	has domain2 Formula
	is an instance of PropositionalAttitude
AntisymmetricRelation	has axiom (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))
	has axiom (=> (instance ?REL AntisymmetricRelation) (forall (?INST1 ?INST2) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST1)) (equal ?INST1 ?INST2))))
IrreflexiveRelation	has axiom (=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next PropositionalAttitude: desires    Up: PropositionalAttitude    Previous PropositionalAttitude: believes