No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14664-14664 |
範圍子類 定期發行 and Periodical |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14800-14800 |
子類 雜誌 and Periodical |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14777-14777 |
子類 報紙 and Periodical |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1043-1043 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1297-1297 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 721-721 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 255-255 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2405-2405 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 673-673 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 257-257 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 291-291 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 742-742 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 256-256 |
|