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 est une sous-classe de norme objective

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


(instance FemaleConnector DeviceAttribute) ComputingBrands.kif 2786-2786 FemaleConnector est une instance de DeviceAttribute
(instance Functioning DeviceAttribute) Mid-level-ontology.kif 1839-1839 Functioning est une instance de DeviceAttribute
(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2756-2756 MaleConnector est une instance de DeviceAttribute
(instance Malfunctioning DeviceAttribute) Mid-level-ontology.kif 1850-1850 Malfunctioning est une instance de DeviceAttribute
(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