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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ObjectAttitude
ObjectAttitude

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2615-2615
(documentation ObjectAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 AgentPhysical 的实例有认知。") chinese_format.kif 1927-1928
(documentation ObjectAttitude EnglishLanguage "The Class of IntentionalRelations where the Agent has awareness of an instance of Physical.") Merge.kif 2617-2618
(subclass ObjectAttitude InheritableRelation) Merge.kif 2614-2614
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2613-2613

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


(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7105-7105
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2429-2429
(instance needs ObjectAttitude) Merge.kif 2653-2653
(instance wants ObjectAttitude) Merge.kif 2666-2666
(termFormat ChineseLanguage ObjectAttitude "对象态度") chinese_format.kif 909-909
(termFormat EnglishLanguage ObjectAttitude "object attitude") english_format.kif 1030-1030

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


(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))
Merge.kif 2620-2624


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



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