No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11554-11555 |
|
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 11556-11556 |
initialPart AnimalShell and Animal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11552-11552 |
AnimalShell e' uma sub-classe de AnimalAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11553-11553 |
AnimalShell e' uma sub-classe de Parte do Corpo |