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 is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12470-12470 | Hand is a subclass of body segment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | Every finger bone is initially part of a hand |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | Every palm bone is initially part of a hand |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | Every wrist bone is initially part of a 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 is equal to a covering for hand |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | Left hand is a subclass of the left hand |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2891-2891 | Right hand is a subclass of the right hand |