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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObjectAttitude

Sigma KEE - ObjectAttitude
ObjectAttitude

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2669-2669
(documentation ObjectAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 AgentPhysical 的实例有认知。") chinese_format.kif 1927-1928
(documentation ObjectAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical.") Merge.kif 2671-2672
(subclass ObjectAttitude InheritableRelation) Merge.kif 2668-2668
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2667-2667

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


(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7379-7379
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2449-2449
(instance needs ObjectAttitude) Merge.kif 2707-2707
(instance wants ObjectAttitude) Merge.kif 2720-2720
(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 2674-2678


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 is open source software produced by Articulate Software and its partners