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 | Spinal column is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10938-10938 | Spinal column is a subclass of organ |
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 | A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10963-10968 |
|