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 1868-1869
(domain deviceState 1 Object) Mid-level-ontology.kif 1871-1871 deviceState の数値 1 引数は オブジェクトinstance では %n
(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1872-1872 deviceState の数値 2 引数は DeviceStateAttributeinstance では %n
(instance deviceState BinaryPredicate) Mid-level-ontology.kif 1870-1870 deviceState2進述語instance では %n
(subrelation deviceState attribute) Mid-level-ontology.kif 1873-1873 deviceStateattributesubrelation では %n

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