SubtropicalDesertClimateZone
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1364-1368 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1363-1363 | SubtropicalDesertClimateZone est une sous-classe de DesertClimateZone |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55860-55860 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55859-55859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55858-55858 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1379-1386 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1370-1377 |
|