|
|
   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 | 脊柱 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10938-10938 | 脊柱 是 器官 的 subclass |
| 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 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10963-10968 |
|
|
|
