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 2658-2658
(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 2660-2661
(subclass ObjectAttitude InheritableRelation) Merge.kif 2657-2657
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2656-2656

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


(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7135-7135
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2448-2448
(instance needs ObjectAttitude) Merge.kif 2696-2696
(instance wants ObjectAttitude) Merge.kif 2709-2709
(termFormat ChineseLanguage ObjectAttitude "对象态度") chinese_format.kif 909-909
(termFormat EnglishLanguage ObjectAttitude "object attitude") english_format.kif 1025-1025

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


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


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