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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonCompositeUnitOfMeasure

Sigma KEE - NonCompositeUnitOfMeasure
NonCompositeUnitOfMeasure

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


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

Merge.kif 6346-6347
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 6342-6345
s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6341-6341
s__instance(s__UnitOfMeasure,s__SetOrClass)

Merge.kif 6340-6340

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


s__instance(s__PHValue,s__NonCompositeUnitOfMeasure)

Geography.kif 2470-2470
s__subclass(s__UnitOfAngularMeasure,s__NonCompositeUnitOfMeasure)

Merge.kif 6456-6456
s__instance(s__NonCompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6444-6444
s__instance(s__UnitOfDuration,s__SetOrClass)

Merge.kif 6479-6479
s__instance(s__UnitOfInformation,s__SetOrClass)

Merge.kif 6472-6472
s__instance(s__UnitOfLength,s__SetOrClass)

Merge.kif 6375-6375
s__instance(s__NonCompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6389-6389
s__instance(s__UnitOfTemperature,s__SetOrClass)

Merge.kif 6428-6428

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


s__partition_3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

Merge.kif 6349-6349

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123
No TPTP formula. May not be expressible in strict first order. Merge.kif 6608-6612
( ! [V__QUANT,V__N,V__UNIT] :
   ((s__instance(V__QUANT,s__MeasureFn(V__N,V__UNIT))
   &
   s__instance(V__UNIT,s__NonCompositeUnitOfMeasure))
=>
s__instance(V__QUANT,s__ConstantQuantity))
)

Merge.kif 6357-6361

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6608-6612


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners