| Hand(手)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12471-12472 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 109-109 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12469-12469 | 手 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12470-12470 | 手 是 BodySegment 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | %每个 FingerBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | %每个 PalmBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | %每个 WristBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27306-27306 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27305-27305 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27304-27304 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12474-12479 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1492-1500 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6622-6631 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13083-13087 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5135-5143 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19856-19858 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8887-8895 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12510-12515 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1457-1466 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13072-13077 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4743-4743 | 手套 equal 对于 手 的 covering |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | LeftHand 是 BodySideFn 左 and 手 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2891-2891 | RightHand 是 BodySideFn 右 and 手 的 subclass |
|
|
|