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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfVolume
UnitOfVolume

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2413-2414
No TPTP formula. May not be expressible in strict first order. Merge.kif 5987-5989
No TPTP formula. May not be expressible in strict first order. Merge.kif 5985-5985 UnitOfVolume is a subclass of CompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10423-10423 Cubic foot is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6950-6950 Cup is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10465-10465 Liquor shot is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6489-6489 Liter is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6959-6959 Ounce is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6941-6941 Pint is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6932-6932 Quart is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10450-10450 Registry ton is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6968-6968 United kingdom gallon is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6922-6922 United states gallon is an instance of UnitOfVolume

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6078-6082
No TPTP formula. May not be expressible in strict first order. Cars.kif 2825-2844
No TPTP formula. May not be expressible in strict first order. Cars.kif 1912-1931
No TPTP formula. May not be expressible in strict first order. Cars.kif 1882-1901
No TPTP formula. May not be expressible in strict first order. Cars.kif 2001-2013
No TPTP formula. May not be expressible in strict first order. Geography.kif 2651-2664

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3623-3639


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