No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1388-1388 |
MiddleLatitudeDesertClimateZone est une sous-classe de DesertClimateZone |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1363-1363 |
SubtropicalDesertClimateZone est une sous-classe de DesertClimateZone |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19206-19206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19205-19205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19204-19204 |
|