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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceAttribute
DeviceAttribute(device attribute)
more pictures...
response

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 Device attribute is a subclass of objective norm

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


(instance FemaleConnector DeviceAttribute) ComputingBrands.kif 2786-2786 Female is an instance of device attribute
(instance Functioning DeviceAttribute) Mid-level-ontology.kif 1839-1839 Functioning is an instance of device attribute
(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2756-2756 is an instance of device attribute
(instance Malfunctioning DeviceAttribute) Mid-level-ontology.kif 1850-1850 Malfunctioning is an instance of device attribute
(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