No TPTP formula. May not be expressible in strict first order. |
WMD.kif 356-356 |
哺乳动物 是 burkholderia mallei 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 372-372 |
哺乳动物 是 burkholderia 假单胞菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1235-1235 |
哺乳动物 是 猴痘病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 247-247 |
哺乳动物 是 立克次体代理人 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14562-14562 |
鸟 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1976-1976 |
parasitic Louse and 哺乳动物 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1987-1987 |
parasitic Tick and 哺乳动物 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14586-14586 |
水生哺乳动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4918-4918 |
骆驼 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14598-14598 |
食肉动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30585-30585 |
Ferret 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20062-20062 |
草食动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14590-14590 |
有蹄哺乳动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20318-20318 |
Llama 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30620-30620 |
MammalCub 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14594-14594 |
有袋动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14626-14626 |
灵长类动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30432-30432 |
Rhinoceros 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14621-14621 |
啮齿动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20327-20327 |
Skunk 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 990-990 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1187-1187 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 667-667 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 198-198 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |