No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5675-5675 |
Creek e' disjunto 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 e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5674-5674 |
Creek e' uma sub-classe de Area Aquatica nao-salgada |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5673-5673 |
Creek e' uma sub-classe de Area aquatica em movimento |