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 7904-7909 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1394-1397 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7901-7901 | 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 7902-7902 | 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 2752-2752 | 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 2645-2645 | 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 2751-2751 | The number 2 argument of barometric pressure is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7899-7899 | barometric pressure is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7898-7898 | barometric pressure is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7900-7900 | 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 9985-9985 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9984-9984 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9983-9983 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3509-3519 | 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 786-792 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 531-538 |
|
![]() |
![]() |