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


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 6057-6059
s__instance(s__UnitOfVolume,s__SetOrClass)

s__subclass(s__UnitOfVolume,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

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

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


s__instance(s__CubicFoot,s__UnitOfVolume)

s__instance(s__UnitOfVolume,s__SetOrClass)

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

s__instance(s__Cup,s__UnitOfVolume)

Merge.kif 7020-7020 Cup is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__SetOrClass)

s__instance(s__LiquorShot,s__UnitOfVolume)

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

s__instance(s__Liter,s__UnitOfVolume)

Merge.kif 6559-6559 Liter is an instance of UnitOfVolume
s__instance(s__Ounce,s__UnitOfVolume)

s__instance(s__UnitOfVolume,s__SetOrClass)

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

s__instance(s__UnitOfVolume,s__SetOrClass)

Merge.kif 7011-7011 Pint is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__SetOrClass)

s__instance(s__Quart,s__UnitOfVolume)

Merge.kif 7002-7002 Quart is an instance of UnitOfVolume
s__instance(s__UnitOfVolume,s__SetOrClass)

s__instance(s__RegistryTon,s__UnitOfVolume)

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

s__instance(s__UnitedKingdomGallon,s__UnitOfVolume)

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

s__instance(s__UnitedStatesGallon,s__UnitOfVolume)

Merge.kif 6992-6992 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 6148-6152
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 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