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 is a subclass of body of water |
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 5180-5180 | Estuary is a subclass of salt water area |
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 |
|