|
|
   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 | Hand e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12470-12470 | Hand e' uma sub-classe de BodySegment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | initialPart FingerBone and Hand |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | initialPart PalmBone and Hand |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | initialPart WristBone and Hand |
| 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 | Glove e' igual a CoveringFn Hand |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | LeftHand e' uma sub-classe de BodySideFn Left and Hand |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2891-2891 | RightHand e' uma sub-classe de BodySideFn Right and Hand |
|
|
|
