| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9031-9031 | Plan d'eau en mouvement est une sous-classe de plan d'eau |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | Plan d'eau en mouvement est une sous-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | River est une sous-classe de plan d'eau en mouvement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5546-5546 | Waterfall est une sous-classe de plan d'eau en mouvement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5633-5633 | Rapids est une sous-classe de plan d'eau en mouvement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5656-5656 | RiverMouth est une sous-classe de plan d'eau en mouvement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5673-5673 | Creek est une sous-classe de plan d'eau en mouvement |
|
|