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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deviceState

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 Le nombre 1 argument de deviceState est une instance de objet
(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1879-1879 Le nombre 2 argument de deviceState est une instance de DeviceStateAttribute
(instance deviceState BinaryPredicate) Mid-level-ontology.kif 1877-1877 deviceState est une instance de pr�dicat binaire
(subrelation deviceState attribute) Mid-level-ontology.kif 1880-1880 deviceState est une sous-relation de 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 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