No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11527-11528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1030-1030 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11529-11529 |
Every animal shell is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11525-11525 |
Animal shell is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11526-11526 |
Animal shell is a subclass of body part |