barometricPressure |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2674-2677 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7723-7728 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7720-7720 | 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 7721-7721 | The number 2 argument of barometric pressure is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2754-2754 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2647-2647 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2753-2753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7718-7718 | barometric pressure is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7717-7717 | barometric pressure is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7719-7719 | 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 9993-9993 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9992-9992 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9991-9991 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2679-2689 | 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 802-808 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 543-549 |
|
![]() |
![]() |