UnitOfAtmosphericPressure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfAtmosphericPressure

UnitOfAtmosphericPressure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2678-2679
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7420-7422
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7418-7418	UnitOfAtmosphericPressure is a subclass of CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7424-7424	Inch mercury is an instance of UnitOfAtmosphericPressure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7431-7431	Mm mercury is an instance of UnitOfAtmosphericPressure

appearance as argument number 3

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

Merge.kif 7409-7409

The number 2 argument of barometric pressure is an instance of UnitOfAtmosphericPressure

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	If partial vacuum is an attribute of an object, then there exist another object and a third object such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is a real number an unit of measure(s) and the measure of the object is the real number another unit of measure(s) and the real number is an instance of UnitOfAtmosphericPressure and the unit of measure is greater than the other unit of measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	If pressurized is an attribute of an object, then there exist another object and a third object such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is a real number an unit of measure(s) and the measure of the object is the real number another unit of measure(s) and the real number is an instance of UnitOfAtmosphericPressure and the other unit of measure is greater than the unit of measure

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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