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 2706-2706
(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 2708-2709
(documentation ObjectAttitude JapaneseLanguage "AgentPhysical のインスタンスを認識 している IntentionalRelationClass。") japanese_format.kif 554-555
(subclass ObjectAttitude InheritableRelation) Merge.kif 2705-2705
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2704-2704

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


(instance allied ObjectAttitude) MilitaryProcesses.kif 2465-2465
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 8604-8604
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2450-2450
(instance needs ObjectAttitude) Merge.kif 2744-2744
(instance wants ObjectAttitude) Merge.kif 2757-2757
(termFormat ChineseLanguage ObjectAttitude "对象态度") chinese_format.kif 909-909
(termFormat EnglishLanguage ObjectAttitude "object attitude") english_format.kif 1025-1025
(termFormat FrenchLanguage ObjectAttitude "attitude d'objet") french_format.kif 585-585
(termFormat Hindi ObjectAttitude "vastu abhivQtti") terms-hindi.txt 115-115
(termFormat ItalianLanguage ObjectAttitude "AtteggiamentoOggettuale") terms-it.txt 118-118
(termFormat JapaneseLanguage ObjectAttitude "対象物姿勢") japanese_format.kif 2270-2270
(termFormat PortugueseLanguage ObjectAttitude "Atitude em relacao a um Objeto") portuguese_format.kif 537-537
(termFormat cz ObjectAttitude "object attitude") terms-cz.txt 152-152
(termFormat de ObjectAttitude "Gegenstandeinstellung") terms-de.txt 411-411
(termFormat ro ObjectAttitude "atitudine obiectualã") relations-ro.kif 606-606
(termFormat tg ObjectAttitude "pakikitungo") terms-tg.txt 119-119

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


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


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