|
|
   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 1783-1786 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ SingTel_phone_booth.JPG") | pictureList.kif 10855-10855 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Broken_phone_box.jpg") | pictureList.kif 10852-10852 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Fokker50_propeller_aviodrome_lelystad.JPG") | pictureList.kif 10853-10853 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Phone_booth_Norway.jpg") | pictureList.kif 10854-10854 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Logitech_Mouse.JPG") | pictureList.kif 10856-10856 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Computer_mouse_trap.jpg") | pictureList.kif 10857-10857 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Broken_propeller.jpg") | pictureList.kif 10851-10851 | |
| (externalImage DeviceAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ 3-Tastenmaus_Microsoft.jpg") | pictureList.kif 9988-9988 | |
| (subclass DeviceAttribute ObjectiveNorm) | Mid-level-ontology.kif 1782-1782 |
| appearance as argument number 2 |
|
|
| (instance FemaleConnector DeviceAttribute) | ComputingBrands.kif 2754-2754 | |
| (instance Functioning DeviceAttribute) | Mid-level-ontology.kif 1794-1794 | |
| (instance MaleConnector DeviceAttribute) | ComputingBrands.kif 2724-2724 | |
| (instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 1805-1805 | |
| (termFormat ChineseLanguage DeviceAttribute "设备属性") | domainEnglishFormat.kif 19329-19329 | |
| (termFormat ChineseTraditionalLanguage DeviceAttribute "設備屬性") | domainEnglishFormat.kif 19328-19328 | |
| (termFormat EnglishLanguage DeviceAttribute "device attribute") | domainEnglishFormat.kif 19327-19327 |
| antecedent |
|
|
| (=> (and (attribute ?DEVICE ?ATTRIBUTE) (instance ?ATTRIBUTE DeviceAttribute)) (instance ?DEVICE Device)) |
Mid-level-ontology.kif 1788-1792 |
|
|
|
