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(unit of atmospheric pressure)

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 7913-7915
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1398-1400
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7911-7911	Unit of atmospheric pressure is a subclass of composite unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7917-7917	Inch mercury is an instance of unit of atmospheric pressure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7924-7924	Mm mercury is an instance of unit of atmospheric pressure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65647-65647	Mm mercury is an instance of unit of atmospheric pressure

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, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and equal the third object and 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 the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the real number is greater than the other real number
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, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and equal the third object and 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 the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the other real number is greater than the real number

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