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 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 | 设备属性 是 客观标准 的 subclass |
| appearance as argument number 2 |
|
|
| (instance FemaleConnector DeviceAttribute) | ComputingBrands.kif 2786-2786 | 母 是 设备属性 的 instance |
| (instance Functioning DeviceAttribute) | Mid-level-ontology.kif 1839-1839 | 功能 是 设备属性 的 instance |
| (instance MaleConnector DeviceAttribute) | ComputingBrands.kif 2756-2756 | 公 是 设备属性 的 instance |
| (instance Malfunctioning DeviceAttribute) | Mid-level-ontology.kif 1850-1850 | 故障 是 设备属性 的 instance |
| (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 |
|
|
|