Machinery(machinery) |
appearance as argument number 1 |
![]() |
(documentation Machinery EnglishLanguage "Machinery is the class of products that includes Machines, tools, and machine parts used in industrial or other commercial processes.") | Economy.kif 6010-6012 | |
(subAttribute Machinery IndustrialSupply) | Economy.kif 6005-6005 | Machinery is a subattribute of industrial supply |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Machinery "机械") | domainEnglishFormat.kif 35541-35541 | |
(termFormat ChineseTraditionalLanguage Machinery "機械") | domainEnglishFormat.kif 35540-35540 | |
(termFormat EnglishLanguage Machinery "machinery") | domainEnglishFormat.kif 35539-35539 |
antecedent |
![]() |
(=> (attribute ?X Machinery) (hasPurpose ?X (exists (?M) (and (instance ?M Manufacture) (instrument ?M ?X))))) |
Economy.kif 6015-6021 |
|
![]() |
![]() |