No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5675-5675 |
Creek is disjoint from 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 is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5674-5674 |
Creek is a subclass of fresh water area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5673-5673 |
Creek is a subclass of stream water area |