SpinalColumn(脊柱) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10967-10969 | |
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 10966-10966 | 脊柱 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10965-10965 | 脊柱 是 器官 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54638-54638 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54637-54637 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54636-54636 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10971-10977 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10990-10995 |