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 e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5181-5181 | Estuary e' uma sub-classe de Inlet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | Estuary e' uma sub-classe de Area Aquatica salgada |
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 |
|