| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1919-1919 |
蛛形䋞动物 是 克里米亚刚果出血热病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1205-1205 |
蛛形䋞动物 是 弗朗西斯 土拉弗朗西斯菌 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14525-14525 |
节肢动物 分拆成不相交的 蛛形䋞动物, 多足动物, 昆虫, 和 甲壳类动物 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1985-1985 |
Tick 是 蛛形䋞动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 981-981 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1169-1169 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 658-658 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 189-189 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 192-192 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2342-2342 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 610-610 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 226-226 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 679-679 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 193-193 |
|
