TreeView Knowledge Base Browser - UnitOfMeasureMultiplier

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

UnitOfMeasureMultiplier

Sigma KEE - UnitOfMeasureMultiplier

UnitOfMeasureMultiplier(unit of measure multiplier)

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 6450-6453
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1129-1131
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6448-6448	Unit of measure multiplier is a subclass of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6447-6447	Unit of measure multiplier is a subclass of unary function

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6495-6495	Giga is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6467-6467	Kilo is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6481-6481	Mega is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6537-6537	Micro is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6523-6523	Milli is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6551-6551	Nano is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6566-6566	Pico is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6509-6509	Tera is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65660-65660

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6455-6459	If an entity is an instance of unit of measure multiplier and another entity is an instance of composite unit of measure, then the entity the other entity is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6461-6465	If an entity is an instance of unit of measure multiplier and another entity is an instance of non composite unit of measure, then the entity the other entity is an instance of non composite unit of measure

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