measuringResult |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1796-1800 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1790-1794 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1802-1802 | 域 measuringResult, 1 and MeasuringList |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1803-1803 | 域 measuringResult, 2 and MeasuringResultList |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1804-1804 | 例 measuringResult and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1801-1801 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1795-1795 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10415-10415 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10414-10414 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1806-1811 |
|
consequent |