No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5259-5259 |
Bay est une sous-classe de Inlet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5265-5265 |
Cove est une sous-classe de Inlet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5181-5181 |
Estuary est une sous-classe de Inlet |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5253-5253 |
InletPassage est une sous-classe de 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 |
|