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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Joule
Joule(joule)
J, energy, energy_level, energy_state, free_energy, joule, watt_second

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2534-2535
No TPTP formula. May not be expressible in strict first order. Merge.kif 6882-6885
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1235-1236
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4907-4907
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5026-5026
No TPTP formula. May not be expressible in strict first order. Merge.kif 6879-6879 Joule is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6880-6880 Joule is an instance of systeme international unit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31789-31789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31788-31788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31787-31787

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7016-7030
No TPTP formula. May not be expressible in strict first order. Geography.kif 7068-7082
No TPTP formula. May not be expressible in strict first order. Economy.kif 2016-2018

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2011-2013

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2008-2008 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s)
No TPTP formula. May not be expressible in strict first order. Economy.kif 2009-2009 1 Kilowatt hour(s) is equal to 3600000.0 joule(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7353-7355 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7345-7347 A real number calorie(s) is equal to the real number and 4.1868 joule(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7161-7163 A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s)


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