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 1875-1876
(domain deviceState 1 Object) Mid-level-ontology.kif 1878-1878 The number 1 argument of device state is an instance of object
(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1879-1879 The number 2 argument of device state is an instance of device state attribute
(instance deviceState BinaryPredicate) Mid-level-ontology.kif 1877-1877 device state is an instance of binary predicate
(subrelation deviceState attribute) Mid-level-ontology.kif 1880-1880 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 19368-19368
(termFormat ChineseTraditionalLanguage deviceState "設備狀態") domainEnglishFormat.kif 19367-19367
(termFormat EnglishLanguage deviceState "device state") domainEnglishFormat.kif 19366-19366


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