No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19722-19723 |
|
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 19721-19721 |
Business competition is a subclass of contest |