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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonCompositeUnitOfMeasure
NonCompositeUnitOfMeasure

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


s__documentation(s__NonCompositeUnitOfMeasure,s__ChineseLanguage,'"这是应用单一维度的 UnitsOfMeasure Class 的实例,因此它不是由其他单位的复合函数在本质上决定的。"')

chinese_format.kif 2400-2401
s__documentation(s__NonCompositeUnitOfMeasure,s__EnglishLanguage,'"Instances of this Class are UnitsOfMeasure that are applied to a single dimension, and so are not intrinsically defined by the functional composition of other units."')

Merge.kif 5992-5995
s__subclass(s__NonCompositeUnitOfMeasure,s__ConstantQuantity)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

s__instance(s__ConstantQuantity,s__Class)

Merge.kif 5990-5990 NonCompositeUnitOfMeasure is a subclass of constant quantity
s__instance(s__UnitOfMeasure,s__Class)

s__subclass(s__NonCompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

Merge.kif 5989-5989 NonCompositeUnitOfMeasure is a subclass of unit of measure

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


s__instance(s__PHValue,s__NonCompositeUnitOfMeasure)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

Geography.kif 2503-2503 PH value is an instance of NonCompositeUnitOfMeasure
s__instance(s__NonCompositeUnitOfMeasure,s__Class)

s__instance(s__UnitOfAngularMeasure,s__Class)

s__subclass(s__UnitOfAngularMeasure,s__NonCompositeUnitOfMeasure)

Merge.kif 6092-6092 UnitOfAngularMeasure is a subclass of NonCompositeUnitOfMeasure
s__instance(s__UnitOfCurrency,s__Class)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

s__subclass(s__UnitOfCurrency,s__NonCompositeUnitOfMeasure)

Merge.kif 6082-6082 UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure
s__subclass(s__UnitOfDuration,s__NonCompositeUnitOfMeasure)

s__instance(s__UnitOfDuration,s__Class)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

Merge.kif 6113-6113 UnitOfDuration is a subclass of NonCompositeUnitOfMeasure
s__instance(s__UnitOfInformation,s__Class)

s__subclass(s__UnitOfInformation,s__NonCompositeUnitOfMeasure)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

Merge.kif 6107-6107 UnitOfInformation is a subclass of NonCompositeUnitOfMeasure
s__instance(s__NonCompositeUnitOfMeasure,s__Class)

s__instance(s__UnitOfLength,s__Class)

s__subclass(s__UnitOfLength,s__NonCompositeUnitOfMeasure)

Merge.kif 6021-6021 UnitOfLength is a subclass of NonCompositeUnitOfMeasure
s__instance(s__UnitOfMass,s__Class)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

s__subclass(s__UnitOfMass,s__NonCompositeUnitOfMeasure)

Merge.kif 6033-6033 UnitOfMass is a subclass of NonCompositeUnitOfMeasure
s__instance(s__UnitOfTemperature,s__Class)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

s__subclass(s__UnitOfTemperature,s__NonCompositeUnitOfMeasure)

Merge.kif 6069-6069 UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

appearance as argument number 3
-------------------------


s__partition__3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

Merge.kif 5997-5997 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12884-12895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12853-12864
No TPTP formula. May not be expressible in strict first order. Merge.kif 6235-6239
( ! [V__QUANT,V__UNIT,V__N] :
   ((s__instance(V__N,s__RealNumber) =>
       (((s__instance(V__QUANT,s__MeasureFn(V__N,V__UNIT))
         &
         s__instance(V__UNIT,s__NonCompositeUnitOfMeasure))
       =>
       (s__instance(V__QUANT,s__ConstantQuantity)))))
)
)

Merge.kif 6005-6009