No TPTP formula. May not be expressible in strict first order. |
Weather.kif 808-808 |
ColdFront e' uma sub-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 814-814 |
OccludedFront e' uma sub-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 820-820 |
StationaryFront e' uma sub-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 802-802 |
WarmFront e' uma sub-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62609-62609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62608-62608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62607-62607 |
|