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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesGallon

Sigma KEE - UnitedStatesGallon
UnitedStatesGallon(united states gallon)gal, gallon

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2594-2594
No TPTP formula. May not be expressible in strict first order. Merge.kif 7209-7210
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1303-1304
No TPTP formula. May not be expressible in strict first order. Merge.kif 7206-7206 United states gallon is an instance of unit of volume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7207-7207 United states gallon is internally related to united kingdom gallon

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60398-60398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60397-60397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60396-60396

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7221-7223 A real number quart(s) is equal to the real number and 4 united states gallon(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7212-7214 A real number united states gallon(s) is equal to the real number and 3.785411784 liter(s)


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