No TPTP formula. May not be expressible in strict first order. |
Weather.kif 820-820 |
ColdFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 826-826 |
OccludedFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 832-832 |
StationaryFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 814-814 |
WarmFront est une sous-classe de WeatherFront |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62607-62607 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62606-62606 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62605-62605 |
|