No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5743-5743 |
CoastalPlain e' uma sub-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6678-6678 |
Pampa e' uma sub-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6672-6672 |
Prairie e' uma sub-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6688-6688 |
Savanna e' uma sub-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6698-6698 |
Steppe e' uma sub-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6728-6728 |
Tundra e' uma sub-classe de Plain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6714-6714 |
Veldt e' uma sub-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 |
|