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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceAttribute
DeviceAttribute
more pictures...

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


(documentation DeviceAttribute EnglishLanguage "This class contains Attributes that indicate how a Device is behaving with respect to some norm or expectation. Examples: Functioning, Malfunctioning.") Mid-level-ontology.kif 1828-1831
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ SingTel_phone_booth.JPG") pictureList.kif 10845-10845
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Broken_phone_box.jpg") pictureList.kif 10842-10842
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Fokker50_propeller_aviodrome_lelystad.JPG") pictureList.kif 10843-10843
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Phone_booth_Norway.jpg") pictureList.kif 10844-10844
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Logitech_Mouse.JPG") pictureList.kif 10846-10846
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Computer_mouse_trap.jpg") pictureList.kif 10847-10847
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Broken_propeller.jpg") pictureList.kif 10841-10841
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ 3-Tastenmaus_Microsoft.jpg") pictureList.kif 9980-9980
(subclass DeviceAttribute ObjectiveNorm) Mid-level-ontology.kif 1827-1827 DeviceAttribute客観的規範subclass では %n

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


(instance FemaleConnector DeviceAttribute) ComputingBrands.kif 2786-2786 DeviceAttributeinstance では %n
(instance Functioning DeviceAttribute) Mid-level-ontology.kif 1839-1839 FunctioningDeviceAttributeinstance では %n
(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2756-2756 DeviceAttributeinstance では %n
(instance Malfunctioning DeviceAttribute) Mid-level-ontology.kif 1850-1850 MalfunctioningDeviceAttributeinstance では %n
(termFormat ChineseLanguage DeviceAttribute "设备属性") domainEnglishFormat.kif 19338-19338
(termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") domainEnglishFormat.kif 19337-19337
(termFormat EnglishLanguage DeviceAttribute "device attribute") domainEnglishFormat.kif 19336-19336

antecedent
-------------------------


(=>
    (and
        (attribute ?DEVICE ?ATTRIBUTE)
        (instance ?ATTRIBUTE DeviceAttribute))
    (instance ?DEVICE Device))
Mid-level-ontology.kif 1833-1837


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