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

Formal Language: 

Relation: subrelation

    inScopeOfInterest12A very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the s...^
        enemy.Marks two Agents that are enemies of each other^
        enjoys.(enjoys ?AGENT ?PROCESS) means that the CognitiveAgent ?AGENT tends to enjoy actions of type ?P...^
        dislikes.(dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT be...^
        disapproves.(disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affair...^
        approves.(approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement ...^
        needs1(needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?...^
        wants.(wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT...^
        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...^

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