| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14569-14569 |
冷血脊椎动物 分拆成不相交的 两栖动物, 鱼, 和 爬虫类 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12492-12492 |
蟾蜍 是 两栖动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 987-987 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1181-1181 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 664-664 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 195-195 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 198-198 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2348-2348 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 616-616 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 200-200 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 232-232 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 685-685 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 199-199 |
|
