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 | The number 1 argument of measuring result is an instance of measuring list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1803-1803 | The number 2 argument of measuring result is an instance of measuring result list |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1804-1804 | measuring result is an instance of binary predicate |
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 |