| BodyPart | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3493-3494 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14950-14953 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14949-14949 | 子類 BodyPart and AnatomicalStructure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14914-14914 | 劃分 AnatomicalStructure, BodyPart and 異常的解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6235-6235 | 範圍子類 BodyAreaFn and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14973-14973 | 範圍子類 BodySideFn and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11526-11526 | 子類 動物殼 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1611-1611 | 子類 Auricle and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15098-15098 | 子類 體腔 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15072-15072 | 子類 BodyCovering and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15086-15086 | 子類 BodyJunction and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10572-10572 | 子類 BodySegment and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15201-15201 | 子類 Bone and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | 子類 Cell and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10879-10879 | 子類 細胞部分 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12919-12919 | 子類 下巴 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12134-12134 | 子類 Cornea and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12482-12482 | 子類 數字附屬物 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1623-1623 | 子類 Eardrum and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2546-2546 | 子類 EggYolk and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11670-11670 | 子類 外骨骼 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1434-1434 | 子類 Eyebrow and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12883-12883 | 子類 面對 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20337-20337 | 子類 羽毛 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1483-1483 | 子類 Forehead and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11870-11870 | 子類 FrontalLobe and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12866-12866 | 子類 頭 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11458-11458 | 子類 蹄 and BodyPart |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12409-12409 | 域 InflammationFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6350-6350 | 域 PainFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6323-6323 | 域 ParalysisFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10703-10703 | 域 bodyAngle, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10704-10704 | 域 bodyAngle, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6449-6449 | 域 sheddingBodyPart, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6234-6234 | 域子類 BodyAreaFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14972-14972 | 域子類 BodySideFn, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29725-29725 | 域子類 CoveringFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18239-18239 | 域子類 DeadOrMissingBodyPartFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9979-9979 | 域子類 EdemaFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18218-18218 | 域子類 ImpairedBodyPartFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11962-11962 | 域子類 connectedBodyPart, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11963-11963 | 域子類 connectedBodyPart, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 27-27 | 域子類 connectedBodyPartTypes, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 28-28 | 域子類 connectedBodyPartTypes, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1737-1737 | 域子類 muscleInsertion, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1687-1687 | 域子類 muscleOrigin, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1945-1945 | 域子類 suppliesBlood, 2 and BodyPart |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30178-30188 | 例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14955-14961 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14963-14968 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9986-9994 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9964-9976 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11110-11116 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1505-1515 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6446-6451 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15084 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15090-15096 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2118-2127 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9424-9431 |
|
|
|
|