No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1670-1671 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8349-8349 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8905-8905 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8906-8906 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8907-8907 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8908-8908 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1669-1669 |
Arrow projectile is a subclass of projectile |