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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasureMultiplier

Sigma KEE - UnitOfMeasureMultiplier
UnitOfMeasureMultiplier

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2437-2439
No TPTP formula. May not be expressible in strict first order. Merge.kif 6354-6357
No TPTP formula. May not be expressible in strict first order. Merge.kif 6352-6352 UnitOfMeasureMultiplier is a subclass of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6351-6351 UnitOfMeasureMultiplier is a subclass of unary function

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6399-6399 Giga is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6371-6371 Kilo is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6385-6385 Mega is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6441-6441 Micro is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6427-6427 Milli is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6455-6455 Nano is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6470-6470 Pico is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6413-6413 Tera is an instance of UnitOfMeasureMultiplier

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6359-6363
No TPTP formula. May not be expressible in strict first order. Merge.kif 6365-6369


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