| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2460-2460 |
敌人 是 比赛属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19482-19482 |
丢失 是 比赛属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19491-19491 |
打平得分 是 比赛属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19487-19487 |
韩元 是 比赛属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19495-19495 |
游戏属性 是 比赛属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1244-1244 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1709-1709 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 922-922 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 456-456 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 459-459 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2606-2606 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 874-874 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 461-461 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 495-495 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 943-943 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 460-460 |
|
