| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11278-11281 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11271-11276 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11283-11286 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11268-11268 | The number 1 argument of barometric pressure is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11269-11269 | The number 2 argument of barometric pressure is an instance of UnitOfAtmosphericPressure |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2754-2754 | "http://upload.wikimedia.org/wikipedia/commons/3/38/ Air_pressure_crushing_a_plastic_bottle_p1180559.jpg" is a URL depicting barometric pressure |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2647-2647 | "http://upload.wikimedia.org/wikipedia/commons/4/41/ Barometer.JPG" is a URL depicting barometric pressure |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2753-2753 | "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Tagesgang-luftdruck.jpg" is a URL depicting barometric pressure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11266-11266 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11265-11265 | barometric pressure is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11267-11267 | barometric pressure is a subrelation of measure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 256-256 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 255-255 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 254-254 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9997-9997 | "气压" is the printable form of barometric pressure in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9996-9996 | "氣壓" is the printable form of barometric pressure in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9995-9995 | "barometric pressure" is the printable form of barometric pressure in english language |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1086-1096 | An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 411-417 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 373-379 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners