No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14612-14612 |
犬 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30568-30568 |
Cheetah 是 猫科动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20083-20083 |
家猫 是 猫科动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30370-30370 |
Lion 是 猫科动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30412-30412 |
Tiger 是 猫科动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1199-1199 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 673-673 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 207-207 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2357-2357 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 625-625 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 209-209 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 241-241 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 694-694 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 208-208 |
|