NonCompositeUnitOfMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6325-6326
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6321-6324
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6320-6320	NonCompositeUnitOfMeasure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6319-6319	NonCompositeUnitOfMeasure is a subclass of unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2470-2470	PH value is an instance of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6435-6435	UnitOfAngularMeasure is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6423-6423	UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6458-6458	UnitOfDuration is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6451-6451	UnitOfInformation is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6354-6354	UnitOfLength is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6368-6368	UnitOfMass is a subclass of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6407-6407	UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 6328-6328

antecedent

No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 194-205	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is less than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6579-6583	If an entity is an instance of UnitOfMeasureMultiplier and another entity is an instance of NonCompositeUnitOfMeasure, then the entity the other entity is an instance of NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6336-6340	If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of NonCompositeUnitOfMeasure, then the entity is an instance of constant quantity

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 6579-6583