TreeView Knowledge Base Browser

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 2450-2451
(instance deviceState BinaryPredicate)	Mid-level-ontology.kif 2452-2452	device state is an instance of binary predicate
(domain deviceState 1 Object)	Mid-level-ontology.kif 2453-2453	The number 1 argument of device state is an instance of object
(domain deviceState 2 DeviceStateAttribute)	Mid-level-ontology.kif 2454-2454	The number 2 argument of device state is an instance of device state attribute
(subrelation deviceState attribute)	Mid-level-ontology.kif 2455-2455	device state is a subrelation of attribute

appearance as argument number 2

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