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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - attitudeForObject
attitudeForObject

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


(documentation attitudeForObject EnglishLanguage "Relates an EmotionalState of an Agent a Formula.") emotion.kif 2015-2016
(documentation attitudeForObject EnglishLanguage "Relates an EmotionalState of an Agent to an Object.") emotion.kif 2008-2009
(domain attitudeForObject 1 EmotionalState) emotion.kif 2010-2010 The number 1 argument of attitudeForObject is an instance of emotional state
(domain attitudeForObject 2 Agent) emotion.kif 2011-2011 The number 2 argument of attitudeForObject is an instance of agent
(domain attitudeForObject 3 Physical) emotion.kif 2012-2012 The number 3 argument of attitudeForObject is an instance of physical
(instance attitudeForObject TernaryRelation) emotion.kif 2007-2007 attitudeForObject is an instance of ternary relation

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


(format ChineseLanguage attitudeForObject "%2 有对于 %3 的 态度 %1 ") domainEnglishFormat.kif 2839-2839
(format ChineseTraditionalLanguage attitudeForObject "%2 有對於 %3 的 態度 %1 ") domainEnglishFormat.kif 2838-2838
(format EnglishLanguage attitudeForObject "%2 has the attitude %1 to %3") domainEnglishFormat.kif 2837-2837


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners