Head
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12866-12867 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 493-493 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 111-111 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12864-12864 | 头 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | 头 是 身体部位 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1438-1438 | %每个 Eyebrow 是 头 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1487-1487 | %每个 Forehead 是 头 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 55-55 | %每个 HeadBone 是 头 的 initially part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27684-27684 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27683-27683 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27682-27682 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 510-516 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11486-11496 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11498-11507 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13062-13066 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5149-5157 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19336-19341 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12147-12152 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12113-12118 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12886-12891 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12874-12879 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5147-5147 | 帽子 是 对于 头 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19332-19332 | 头痛 是 PainFn 头 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4368-4368 | Helmet 是 对于 头 的 covering 的 subclass |