Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Machinery

Sigma KEE - 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 5800-5802
(subAttribute Machinery IndustrialSupply) Economy.kif 5795-5795

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Machinery "机械") domainEnglishFormat.kif 35513-35513
(termFormat ChineseTraditionalLanguage Machinery "機械") domainEnglishFormat.kif 35512-35512
(termFormat EnglishLanguage Machinery "machinery") domainEnglishFormat.kif 35511-35511

antecedent
-------------------------


(=>
    (attribute ?X Machinery)
    (hasPurpose ?X
        (exists (?M)
            (and
                (instance ?M Manufacture)
                (instrument ?M ?X)))))
Economy.kif 5805-5811


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners