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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deviceState
deviceState

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


(documentation deviceState EnglishLanguage "(deviceState ?DEVICE ?STATE) means that the Object ?DEVICE is in the DeviceStateAttribute ?STATE.") Mid-level-ontology.kif 1868-1869
(domain deviceState 1 Object) Mid-level-ontology.kif 1871-1871 The number 1 argument of device state is an instance of object
(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1872-1872 The number 2 argument of device state is an instance of device state attribute
(instance deviceState BinaryPredicate) Mid-level-ontology.kif 1870-1870 device state is an instance of binary predicate
(subrelation deviceState attribute) Mid-level-ontology.kif 1873-1873 device state is a subrelation of attribute

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


(format ChineseLanguage deviceState "%2 %n 是 %1 的 device 状态") domainEnglishFormat.kif 732-732
(format ChineseTraditionalLanguage deviceState "%2 %n 是 %1 的 device 狀態") domainEnglishFormat.kif 731-731
(format EnglishLanguage deviceState "%2 is %n a device state of %1") domainEnglishFormat.kif 730-730
(termFormat ChineseLanguage deviceState "设备状态") domainEnglishFormat.kif 19384-19384
(termFormat ChineseTraditionalLanguage deviceState "設備狀態") domainEnglishFormat.kif 19383-19383
(termFormat EnglishLanguage deviceState "device state") domainEnglishFormat.kif 19382-19382


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