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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndustrialMachineryManufacturing

Sigma KEE - IndustrialMachineryManufacturing
IndustrialMachineryManufacturing

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 4724-4726
No TPTP formula. May not be expressible in strict first order. Economy.kif 5791-5791 IndustrialMachineryManufacturing est reli� � l'int�rieur de SUMO � IndustrialSupply
No TPTP formula. May not be expressible in strict first order. naics.kif 4722-4722 IndustrialMachineryManufacturing est un sous-attribut de MachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4743-4743 OtherIndustrialMachineryManufacturing est un sous-attribut de IndustrialMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4735-4735 PlasticsAndRubberIndustryMachineryManufacturing est un sous-attribut de IndustrialMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4728-4728 SawmillAndWoodworkingMachineryManufacturing est un sous-attribut de IndustrialMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29797-29797
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29796-29796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29795-29795


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