No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5673-5673 |
Creek is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5633-5633 |
Rapids is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5472-5472 |
River is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5656-5656 |
River mouth is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5546-5546 |
Waterfall is a subclass of stream water area |
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 |
|