Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  QuaternaryPredicate

 Sigma KEE - ObjectAttitude
ObjectAttitude(object attitude)Graecophile, Graecophilic, misanthropic, misanthropical, misogynistic, misogynous, philhellene, philhellenic

appearance as argument number 1
-------------------------


(subclass ObjectAttitude IntentionalRelation) Merge.kif 2817-2817 Object attitude is a subclass of intentional relation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2818-2818 Object attitude is a subclass of inheritable relation
(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2819-2819 Object attitude is disjoint from propositional attitude
(documentation ObjectAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical.") Merge.kif 2821-2822 Object attitude is disjoint from propositional attitude

appearance as argument number 2
-------------------------


(instance needs ObjectAttitude) Merge.kif 2857-2857 needs is an instance of object attitude
(instance wants ObjectAttitude) Merge.kif 2870-2870 wants is an instance of object attitude
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 8740-8740 dislikes is an instance of object attitude
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2477-2477 enemy is an instance of object attitude
(instance allied ObjectAttitude) MilitaryProcesses.kif 2492-2492 allied is an instance of object attitude
(termFormat EnglishLanguage ObjectAttitude "object attitude") english_format.kif 1029-1029 allied is an instance of object attitude

antecedent
-------------------------


(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))		 Merge.kif 2824-2828 If X is an instance of object attitude and X Y and Z, then Z is an instance of physical


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners