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 2258-2261
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ SingTel_phone_booth.JPG") pictureList.kif 10866-10866
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Broken_phone_box.jpg") pictureList.kif 10863-10863
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Fokker50_propeller_aviodrome_lelystad.JPG") pictureList.kif 10864-10864
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Phone_booth_Norway.jpg") pictureList.kif 10865-10865
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Logitech_Mouse.JPG") pictureList.kif 10867-10867
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Computer_mouse_trap.jpg") pictureList.kif 10868-10868
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Broken_propeller.jpg") pictureList.kif 10862-10862
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ 3-Tastenmaus_Microsoft.jpg") pictureList.kif 9998-9998
(subclass DeviceAttribute ObjectiveNorm) Mid-level-ontology.kif 2257-2257

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


(instance FemaleConnector DeviceAttribute) ComputingBrands.kif 2757-2757
(instance Functioning DeviceAttribute) Mid-level-ontology.kif 2269-2269
(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2727-2727
(instance Malfunctioning DeviceAttribute) Mid-level-ontology.kif 2280-2280
(termFormat ChineseLanguage DeviceAttribute "设备属性") domainEnglishFormat.kif 19261-19261
(termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") domainEnglishFormat.kif 19260-19260
(termFormat EnglishLanguage DeviceAttribute "device attribute") domainEnglishFormat.kif 19259-19259

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


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


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