|
|
   SpinalColumn
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10940-10942 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7953-7953 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7954-7954 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7955-7955 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7952-7952 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10939-10939 | SpinalColumn e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10938-10938 | SpinalColumn e' uma sub-classe de Orgao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54636-54636 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54635-54635 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54634-54634 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de SpinalColumn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10963-10968 |
|
|
|
