Machine |
appearance as argument number 1 |
(documentation Machine ChineseLanguage "Machine 是一些有明确定义的 resource 和 result 的 Devices,它们以自动化的方式把 resource 转成 result。") | chinese_format.kif 3634-3635 | |
(documentation Machine EnglishLanguage "Machines are Devices that that have a well-defined resource and result and that automatically convert the resource into the result.") | Merge.kif 16064-16066 | |
(externalImage Machine "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ USDA_windmills.jpg") | pictureList.kif 11412-11412 | |
(subclass Machine Device) | Merge.kif 16063-16063 | 子類 Machine and Device |
appearance as argument number 2 |
(disjoint Furniture Machine) | Mid-level-ontology.kif 3711-3711 | 不相交的 家具 and Machine |
(industryProductType MachineryManufacturing Machine) | Economy.kif 1784-1784 | Machine 是 機械製造業 的 industry 產品類別 |
(subclass AirConditioningCondenser Machine) | Cars.kif 2051-2051 | 子類 AirConditioningCondenser and Machine |
(subclass AirConditioningEvaporator Machine) | Cars.kif 2075-2075 | 子類 AirConditioningEvaporator and Machine |
(subclass GasCompressor Machine) | Cars.kif 5176-5176 | 子類 GasCompressor and Machine |
(subclass Generator Machine) | Cars.kif 1190-1190 | 子類 Generator and Machine |
(subclass IceMachine Machine) | Mid-level-ontology.kif 25510-25510 | 子類 IceMachine and Machine |
(subclass Lathe Machine) | Economy.kif 5986-5986 | 子類 車床 and Machine |
(subclass Motor Machine) | engineering.kif 742-742 | 子類 發動機 and Machine |
(subclass Planer Machine) | Economy.kif 6013-6013 | 子類 刨床 and Machine |
(subclass VendingMachine Machine) | Mid-level-ontology.kif 1954-1954 | 子類 售貨機 and Machine |
(termFormat ChineseLanguage Machine "机器") | chinese_format.kif 1060-1060 | |
(termFormat EnglishLanguage Machine "machine") | english_format.kif 1331-1331 | |
(termFormat FrenchLanguage Machine "machine") | french_format.kif 738-738 | |
(termFormat Hindi Machine "yantra") | terms-hindi.txt 269-269 | |
(termFormat ItalianLanguage Machine "Macchinario") | terms-it.txt 272-272 | |
(termFormat JapaneseLanguage Machine "機械") | japanese_format.kif 2422-2422 | |
(termFormat PortugueseLanguage Machine "Maquina") | portuguese_format.kif 690-690 | |
(termFormat cb Machine "makina") | terms-cb.txt 274-274 | |
(termFormat cz Machine "machine") | terms-cz.txt 308-308 | |
(termFormat ro Machine "maºinã") | relations-ro.kif 759-759 | |
(termFormat tg Machine "makina") | terms-tg.txt 273-273 |
antecedent |
(=> (instance ?MACHINE Machine) (exists (?COMP1 ?COMP2) (and (instance ?COMP1 EngineeringComponent) (instance ?COMP2 EngineeringComponent) (not (equal ?COMP1 ?COMP2)) (part ?COMP1 ?MACHINE) (part ?COMP2 ?MACHINE)))) |
Merge.kif 16095-16103 | |
(=> (instance ?MACHINE Machine) (forall (?PROC) (=> (instrument ?PROC ?MACHINE) (exists (?RESOURCE ?RESULT) (and (resource ?PROC ?RESOURCE) (result ?PROC ?RESULT)))))) |
Merge.kif 16068-16076 |
consequent |