more pictures...
| DeviceAttribute(device attribute)
more pictures... | | response |
| 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 1821-1824 | |
| (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 1820-1820 | Device attribute is a subclass of objective norm |
| appearance as argument number 2 |
|
|
| (instance FemaleConnector DeviceAttribute) | ComputingBrands.kif 2786-2786 | Female is an instance of device attribute |
| (instance Functioning DeviceAttribute) | Mid-level-ontology.kif 1832-1832 | Functioning is an instance of device attribute |
| (instance MaleConnector DeviceAttribute) | ComputingBrands.kif 2756-2756 | 公 is an instance of device attribute |
| (instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 1843-1843 | Malfunctioning is an instance of device attribute |
| (termFormat ChineseLanguage DeviceAttribute "设备属性") | domainEnglishFormat.kif 19354-19354 | Malfunctioning is an instance of device attribute |
| (termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") | domainEnglishFormat.kif 19353-19353 | Malfunctioning is an instance of device attribute |
| (termFormat EnglishLanguage DeviceAttribute "device attribute") | domainEnglishFormat.kif 19352-19352 | Malfunctioning is an instance of device attribute |
| antecedent |
|
|
| (=> (and (attribute ?DEVICE ?ATTRIBUTE) (instance ?ATTRIBUTE DeviceAttribute)) (instance ?DEVICE Device)) |
Mid-level-ontology.kif 1826-1830 |
|
|
|
|