No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5259-5259 |
Bay is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5265-5265 |
Cove is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5181-5181 |
Estuary is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5253-5253 |
Inlet passage is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30181-30181 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30180-30180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30179-30179 |
|