No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5743-5743 |
CoastalPlain est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6678-6678 |
Pampa est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6672-6672 |
Prairie est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6688-6688 |
Savanna est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6698-6698 |
Steppe est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6728-6728 |
Tundra est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6714-6714 |
Veldt est une sous-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46010-46010 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46009-46009 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46008-46008 |
|