No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4218-4218 |
Plain is a subclass of lowland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4227-4227 |
Valley is a subclass of lowland area |
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 |
|