|
|
   Estuary
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5183-5185 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2466-2466 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 895-895 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5179-5179 | Estuary est une sous-classe de BodyOfWater |
| 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 5180-5180 | Estuary est une sous-classe de plan d'eau sal� |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22456-22456 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22455-22455 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22454-22454 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5202-5207 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5195-5200 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5187-5193 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5209-5214 |
|
|
|
|
