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 7819-7824 | |
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 7816-7816 | 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 7817-7817 | 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 2753-2753 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2646-2646 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2752-2752 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7814-7814 | barometric pressure is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7813-7813 | barometric pressure is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7815-7815 | 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 9984-9984 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9983-9983 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9982-9982 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 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 |
|