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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfVolume

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 6197-6199
No TPTP formula. May not be expressible in strict first order. Merge.kif 6195-6195 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 13153-13153 Cubic foot is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7146-7146 Cup is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13196-13196 Liquor shot is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6681-6681 Liter is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7155-7155 Ounce is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7137-7137 Pint is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7128-7128 Quart is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13181-13181 Registry ton is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7164-7164 United kingdom gallon is an instance of UnitOfVolume
No TPTP formula. May not be expressible in strict first order. Merge.kif 7118-7118 United states gallon is an instance of UnitOfVolume

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17419-17430
No TPTP formula. May not be expressible in strict first order. Merge.kif 6288-6292
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. Cars.kif 1898-1917
No TPTP formula. May not be expressible in strict first order. Cars.kif 1868-1887
No TPTP formula. May not be expressible in strict first order. Cars.kif 1987-1999
No TPTP formula. May not be expressible in strict first order. Geography.kif 2692-2705

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3610-3626


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