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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liter
Liter(liter)cubic_decimeter, cubic_decimetre, l, liter, litre

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2511-2512
No TPTP formula. May not be expressible in strict first order. Merge.kif 6771-6773
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1210-1211
No TPTP formula. May not be expressible in strict first order. Merge.kif 6769-6769 Liter is an instance of unit of volume

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34703-34703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34702-34702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34701-34701

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. Food.kif 1321-1332
No TPTP formula. May not be expressible in strict first order. Geography.kif 2873-2884
No TPTP formula. May not be expressible in strict first order. Food.kif 1285-1301
No TPTP formula. May not be expressible in strict first order. Food.kif 1367-1385
No TPTP formula. May not be expressible in strict first order. Food.kif 1399-1415
No TPTP formula. May not be expressible in strict first order. Food.kif 1440-1450
No TPTP formula. May not be expressible in strict first order. Geography.kif 2855-2866
No TPTP formula. May not be expressible in strict first order. Geography.kif 2836-2845
No TPTP formula. May not be expressible in strict first order. Medicine.kif 206-221
No TPTP formula. May not be expressible in strict first order. Medicine.kif 189-204

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5915-5924
No TPTP formula. May not be expressible in strict first order. Food.kif 754-762
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834
No TPTP formula. May not be expressible in strict first order. Food.kif 770-781

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7257-7259 A real number united kingdom gallon(s) is equal to the real number and 4.54609 liter(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 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