No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15033-15033 |
识字属性 是 特征属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1269-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1759-1759 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 947-947 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 482-482 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 486-486 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2631-2631 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 899-899 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 488-488 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 968-968 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 487-487 |
|