Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


(subclass DeviceAttribute ObjectiveNorm) Mid-level-ontology.kif 2402-2402 Device attribute is a subclass of objective norm
(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 2403-2406 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ 3-Tastenmaus_Microsoft.jpg") pictureList.kif 9979-9979 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Broken_propeller.jpg") pictureList.kif 10839-10839 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Broken_phone_box.jpg") pictureList.kif 10840-10840 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Fokker50_propeller_aviodrome_lelystad.JPG") pictureList.kif 10841-10841 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Phone_booth_Norway.jpg") pictureList.kif 10842-10842 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ SingTel_phone_booth.JPG") pictureList.kif 10843-10843 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Logitech_Mouse.JPG") pictureList.kif 10844-10844 Device attribute is a subclass of objective norm
(externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Computer_mouse_trap.jpg") pictureList.kif 10845-10845 Device attribute is a subclass of objective norm

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


(instance Functioning DeviceAttribute) Mid-level-ontology.kif 2414-2414 Functioning is an instance of device attribute
(instance Malfunctioning DeviceAttribute) Mid-level-ontology.kif 2425-2425 Malfunctioning is an instance of device attribute
(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2667-2667 公 is an instance of device attribute
(instance FemaleConnector DeviceAttribute) ComputingBrands.kif 2697-2697 Female is an instance of device attribute
(termFormat EnglishLanguage DeviceAttribute "device attribute") domainEnglishFormat.kif 19338-19338 Female is an instance of device attribute
(termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") domainEnglishFormat.kif 19339-19339 Female is an instance of device attribute
(termFormat ChineseLanguage DeviceAttribute "设备属性") domainEnglishFormat.kif 19340-19340 Female is an instance of device attribute

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


(=>
    (and
        (attribute ?DEVICE ?ATTRIBUTE)
        (instance ?ATTRIBUTE DeviceAttribute))
    (instance ?DEVICE Device))		 Mid-level-ontology.kif 2408-2412 If X is an attribute of Y and X is an instance of device attribute, then Y is an instance of device


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners