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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fuel
Fuel(fuel)
combustible, combustible_material, fuel, nuclear_fuel, 汽油

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2100-2102
No TPTP formula. May not be expressible in strict first order. pictureList.kif 899-899 "http://upload.wikimedia.org/wikipedia/en/a/ac/Sterno.jpg" is a URL depicting fuel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2099-2099 Fuel is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1665-1665 Charcoal is a subclass of fuel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2093-2093 Fossil fuel is a subclass of fuel
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25093-25093 "汽油" is the printable form of fuel in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25092-25092 "汽油" is the printable form of fuel in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25091-25091 "fuel" is the printable form of fuel in english language

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1712-1728
No TPTP formula. May not be expressible in strict first order. Cars.kif 2795-2814
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1343
No TPTP formula. May not be expressible in strict first order. Cars.kif 1060-1080
No TPTP formula. May not be expressible in strict first order. Cars.kif 1041-1058

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2795-2814
No TPTP formula. May not be expressible in strict first order. Cars.kif 1102-1114
No TPTP formula. May not be expressible in strict first order. Cars.kif 912-926
No TPTP formula. May not be expressible in strict first order. Cars.kif 1031-1039
No TPTP formula. May not be expressible in strict first order. Cars.kif 73-78
No TPTP formula. May not be expressible in strict first order. Cars.kif 2526-2541
No TPTP formula. May not be expressible in strict first order. Cars.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Cars.kif 982-988
No TPTP formula. May not be expressible in strict first order. Cars.kif 47-55
No TPTP formula. May not be expressible in strict first order. Cars.kif 3790-3806
No TPTP formula. May not be expressible in strict first order. Cars.kif 1006-1024


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners