No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17925-17927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 781-781 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3231-3231 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3232-3232 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 189-189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3234-3234 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3233-3233 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3230-3230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3010-3010 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17924-17924 |
Ticket is a subclass of certificate |