KB Graph : Welcome guest : log in		 [  Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
IntentionalRelation23The Class of Relations between an AutonomousAgent and one or more Entities, where the Rel...^
AsymmetricRelation289A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an Irre...^
InheritableRelation1765The class of Relations whose properties can be inherited downward in the class hierarchy via the ...^
    PropositionalAttitude7The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition....^
        doubts.(doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?...^
        disapproves.(disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affair...^
        desires.(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed b...^
        considers.(considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposi...^
        believes.The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the prop...^
        knows.The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the propositi...^
        says.A basic predicate of Communicating that also entails that the agent is aware of the Formula h...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners