No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19750-19751 |
|
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 19749-19749 |
子類 商業競爭 and Contest |