| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 267-267 |
节肢动物 是 立克次氏体 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 253-253 |
节肢动物 是 立克次体立克次体 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 248-248 |
节肢动物 是 立克次体代理人 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14551-14551 |
蛛形䋞动物 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14563-14563 |
甲壳类动物 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14559-14559 |
昆虫 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14555-14555 |
多足动物 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 980-980 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1167-1167 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 657-657 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 188-188 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 191-191 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2341-2341 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 609-609 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 225-225 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 678-678 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 192-192 |
|
Arthropod