TreeView Knowledge Base Browser - UnitOfAtmosphericPressure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

UnitOfAtmosphericPressure

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 7828-7830
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 7826-7826	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 7832-7832	Inch mercury is an instance of unit of atmospheric pressure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7839-7839	Mm mercury is an instance of unit of atmospheric pressure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65653-65653

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 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 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 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 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 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