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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeviceAttribute

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 1783-1786
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ SingTel_phone_booth.JPG") pictureList.kif 10855-10855
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Broken_phone_box.jpg") pictureList.kif 10852-10852
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Fokker50_propeller_aviodrome_lelystad.JPG") pictureList.kif 10853-10853
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Phone_booth_Norway.jpg") pictureList.kif 10854-10854
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Logitech_Mouse.JPG") pictureList.kif 10856-10856
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Computer_mouse_trap.jpg") pictureList.kif 10857-10857
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Broken_propeller.jpg") pictureList.kif 10851-10851
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ 3-Tastenmaus_Microsoft.jpg") pictureList.kif 9988-9988
(subclass DeviceAttribute ObjectiveNorm) Mid-level-ontology.kif 1782-1782

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


(instance FemaleConnector DeviceAttribute) ComputingBrands.kif 2754-2754
(instance Functioning DeviceAttribute) Mid-level-ontology.kif 1794-1794
(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2724-2724
(instance Malfunctioning DeviceAttribute) Mid-level-ontology.kif 1805-1805
(termFormat ChineseLanguage DeviceAttribute "设备属性") domainEnglishFormat.kif 19329-19329
(termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") domainEnglishFormat.kif 19328-19328
(termFormat EnglishLanguage DeviceAttribute "device attribute") domainEnglishFormat.kif 19327-19327

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


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


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