No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16537-16539 |
|
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 3232-3232 |
|
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 189-189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3235-3235 |
|
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 3231-3231 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3011-3011 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16536-16536 |
Ticket is a subclass of certificate |