|
|
   DeviceAttribute
|
|
|
| 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 |
| appearance as argument number 2 |
|
|
| (instance FemaleConnector DeviceAttribute) | ComputingBrands.kif 2786-2786 | |
| (instance Functioning DeviceAttribute) | Mid-level-ontology.kif 1839-1839 | |
| (instance MaleConnector DeviceAttribute) | ComputingBrands.kif 2756-2756 | |
| (instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 1850-1850 | |
| (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 |
|
|
|
