No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4171-4171 |
Butte is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4044-4044 |
Hill is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4155-4155 |
Mesa is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4027-4027 |
Mountain is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4013-4013 |
Mountain range is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4136-4136 |
Plateau is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4093-4093 |
Watershed divide is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60620-60620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60619-60619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60618-60618 |
|