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 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5633-5633 |
Rapids e' uma sub-classe de Area aquatica em movimento |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5472-5472 |
River e' uma sub-classe de Area aquatica em movimento |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5656-5656 |
RiverMouth e' uma sub-classe de Area aquatica em movimento |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5546-5546 |
Waterfall e' uma sub-classe de Area aquatica em movimento |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 953-953 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1113-1113 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 629-629 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 160-160 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2314-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 581-581 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 164-164 |
|