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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RefinedPetroleumProduct
RefinedPetroleumProduct(精炼石油产品)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5930-5931
No TPTP formula. May not be expressible in strict first order. Economy.kif 5929-5929 精炼石油产品石油产品subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1844-1844 精炼石油产品炼油厂industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 5953-5953 沥青精炼石油产品subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5933-5933 液化石油气精炼石油产品subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5935-5935 石油润滑剂精炼石油产品subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49120-49120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49119-49119
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49118-49118

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7472-7484


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