cloudCoverFraction |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1108-1110 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1105-1105 | 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 1106-1106 | 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 1104-1104 | 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 15303-15303 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15302-15302 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15301-15301 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1127-1133 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1178-1184 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1152-1160 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1117-1125 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1168-1176 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1141-1150 |
|
![]() |
![]() |