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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RefinedPetroleumProduct

 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 49118-49118
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49117-49117
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49116-49116

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


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


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