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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Petroleum

 Sigma KEE - Petroleum
Petroleum(石油)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5688-5694
No TPTP formula. May not be expressible in strict first order. pictureList.kif 662-662
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1900-1900
No TPTP formula. May not be expressible in strict first order. Economy.kif 5684-5684 子類 石油 and 石油產品

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1843-1843 石油 是 原油開採 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 5686-5686 名 "crude oil" and 石油
No TPTP formula. May not be expressible in strict first order. Economy.kif 5685-5685 名 "petroleum" and 石油
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45438-45438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45437-45437
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45436-45436

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 801-807
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2404-2406
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2414-2416


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