No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5675-5675 |
Creek est disjoint de River |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5676-5677 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 893-893 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5672-5672 |
Creek est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5674-5674 |
Creek est une sous-classe de plan d'eau non sal� |
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 |