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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MachineryManufacturing
MachineryManufacturing(machinery manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4640-4642
No TPTP formula. May not be expressible in strict first order. Economy.kif 1784-1784 Machine is an industry product type of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4638-4638 Machinery manufacturing is an instance of industry attribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6145-6145 Miscellaneous manufacturing is disjoint from machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4662-4662 Agriculture construction and mining machinery manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4793-4793 Commercial and service industry machinery manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4947-4947 Engine turbine and power transmission equipment manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4722-4722 Industrial machinery manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4889-4889 Metalworking machinery manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4984-4984 Other general purpose machinery manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4846-4846 Ventilation heating air conditioning and commercial refrigeration equipment manufacturing is a subattribute of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35525-35525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35524-35524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35523-35523

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4644-4660


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



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