SpinalColumn(脊柱) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10939-10941 | |
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 10938-10938 | 脊柱 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10937-10937 | 脊柱 是 器官 的 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 10943-10949 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10962-10967 |