No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14134-14134 |
Salt water area is disjoint from fresh water area |
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 5624-5624 |
Reservoir is a subclass of fresh water area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5473-5473 |
River is a subclass of fresh water area |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 952-952 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1111-1111 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 628-628 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 159-159 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 162-162 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2313-2313 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 580-580 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 649-649 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 163-163 |
|