No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19723-19724 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8399-8399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9015-9015 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9013-9013 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9014-9014 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19722-19722 |
商业竞争 是 比赛 的 subclass |