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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PetroleumAndCoalProductsManufacturing
PetroleumAndCoalProductsManufacturing(petroleum and coal products manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3049-3051
No TPTP formula. May not be expressible in strict first order. naics.kif 3047-3047 Petroleum and coal products 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 6151-6151 Miscellaneous manufacturing is disjoint from petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3078-3078 Asphalt paving roofing and saturated materials manufacturing is a subattribute of petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1719-1719 Coal products manufacturing is a subattribute of petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3099-3099 Other petroleum and coal products manufacturing is a subattribute of petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1839-1839 Petroleum products manufacturing is a subattribute of petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3072-3072 Petroleum refineries is a subattribute of petroleum and coal products manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45444-45444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45443-45443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45442-45442

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3053-3069


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