No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21359-21360 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6762-6762 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7527-7527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7528-7528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7529-7529 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7531-7531 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7532-7532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7533-7533 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7535-7535 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21358-21358 |
Philosophy is a subclass of field of study |