TreeView Knowledge Base Browser - MmMercury

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MmMercury

MmMercury(mm mercury)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2682-2683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7877-7880
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1404-1406
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7875-7875	Mm mercury is an instance of unit of atmospheric pressure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38145-38145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38144-38144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38143-38143

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10496-10506	If the systolic blood pressure of an entity is another entity mm mercury(s) and the diastolic blood pressure of the entity is a third entity mm mercury(s) and 90.0 is greater than the other entity and 60.0 is greater than the third entity holds during a time position, then hypotension is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10478-10488	If the systolic blood pressure of an entity is another entity mm mercury(s) and the diastolic blood pressure of the entity is a third entity mm mercury(s) and the other entity is greater than 140.0 and the third entity is greater than 90.0 holds during a time position, then hypertension is an attribute of the entity holds during the time position

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