Machinery - Sigma Knowledge base Browser

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