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
-------------------------


s__documentation(s__UnitOfVolume,s__ChineseLanguage,'"这个 Class 所有的实例都是可以用 MeasureFn 来 组成 VolumeMeasure 实例的 UnitOfMeasure。"')

chinese_format.kif 2413-2414
s__documentation(s__UnitOfVolume,s__EnglishLanguage,'"Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure."')

Merge.kif 6059-6061
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__CompositeUnitOfMeasure,s__Class)

s__subclass(s__UnitOfVolume,s__CompositeUnitOfMeasure)

Merge.kif 6057-6057 UnitOfVolume is a subclass of CompositeUnitOfMeasure

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


s__instance(s__UnitOfVolume,s__Class)

s__instance(s__CubicFoot,s__UnitOfVolume)

Mid-level-ontology.kif 12961-12961 Cubic foot is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__Cup,s__UnitOfVolume)

Merge.kif 7022-7022 Cup is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__LiquorShot,s__UnitOfVolume)

Mid-level-ontology.kif 13003-13003 Liquor shot is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__Liter,s__UnitOfVolume)

Merge.kif 6561-6561 Liter is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__Ounce,s__UnitOfVolume)

Merge.kif 7031-7031 Ounce is an instance of UnitOfVolume
s__instance(s__Pint,s__UnitOfVolume)

s__instance(s__UnitOfVolume,s__Class)

Merge.kif 7013-7013 Pint is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__Quart,s__UnitOfVolume)

Merge.kif 7004-7004 Quart is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__RegistryTon,s__UnitOfVolume)

Mid-level-ontology.kif 12988-12988 Registry ton is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__UnitedKingdomGallon,s__UnitOfVolume)

Merge.kif 7040-7040 United kingdom gallon is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__Class)

s__instance(s__UnitedStatesGallon,s__UnitOfVolume)

Merge.kif 6994-6994 United states gallon is an instance of UnitOfVolume

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


( ! [V__QUANT,V__NUMBER,V__UNIT] :
   (((s__instance(V__QUANT,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       ((((s__MeasureFn(V__NUMBER,V__UNIT)
             = V__QUANT)
           &
           s__instance(V__UNIT,s__UnitOfVolume))
         =>
         (s__instance(V__QUANT,s__VolumeMeasure)))))
   )
)

Merge.kif 6150-6154
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 2651-2664

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