cloudCoverFraction |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 873-875 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 870-870 | The number 1 argument of cloud cover fraction is an instance of region |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 871-871 | The number 2 argument of cloud cover fraction is an instance of nonnegative real number |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 869-869 | cloud cover fraction is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 468-468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 467-467 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 466-466 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15294-15294 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15293-15293 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15292-15292 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 892-898 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 943-949 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 917-925 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 882-890 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 933-941 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 906-915 |
|