No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4218-4218 |
Plain e' uma sub-classe de LowlandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4227-4227 |
Valley e' uma sub-classe de LowlandArea |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35183-35183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35182-35182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35181-35181 |
|