more pictures...
| 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 1821-1824 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ SingTel_phone_booth.JPG") | pictureList.kif 10844-10844 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Broken_phone_box.jpg") | pictureList.kif 10841-10841 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Fokker50_propeller_aviodrome_lelystad.JPG") | pictureList.kif 10842-10842 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Phone_booth_Norway.jpg") | pictureList.kif 10843-10843 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Logitech_Mouse.JPG") | pictureList.kif 10845-10845 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Computer_mouse_trap.jpg") | pictureList.kif 10846-10846 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Broken_propeller.jpg") | pictureList.kif 10840-10840 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ 3-Tastenmaus_Microsoft.jpg") | pictureList.kif 9979-9979 | |
| (subclass DeviceAttribute ObjectiveNorm) | Mid-level-ontology.kif 1820-1820 |
| appearance as argument number 2 |
|
|
| (instance FemaleConnector DeviceAttribute) | ComputingBrands.kif 2786-2786 | |
| (instance Functioning DeviceAttribute) | Mid-level-ontology.kif 1832-1832 | |
| (instance MaleConnector DeviceAttribute) | ComputingBrands.kif 2756-2756 | |
| (instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 1843-1843 | |
| (termFormat ChineseLanguage DeviceAttribute "设备属性") | domainEnglishFormat.kif 19349-19349 | |
| (termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") | domainEnglishFormat.kif 19348-19348 | |
| (termFormat EnglishLanguage DeviceAttribute "device attribute") | domainEnglishFormat.kif 19347-19347 |
| antecedent |
|
|
| (=> (and (attribute ?DEVICE ?ATTRIBUTE) (instance ?ATTRIBUTE DeviceAttribute)) (instance ?DEVICE Device)) |
Mid-level-ontology.kif 1826-1830 |
|
|
|