|
|
   Arm
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12487-12487 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 29-29 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12486-12486 | Arm est une sous-classe de Limb |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 688-688 | initialPart ArmBone and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10810-10810 | initialPart Bicep and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10857-10857 | initialPart Forearm and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10815-10815 | initialPart Tricep and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10862-10862 | initialPart UpperArm and Arm |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8376-8376 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8375-8375 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8374-8374 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10809-10809 | typicalPart Bicep and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10858-10858 | typicalPart Forearm and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10814-10814 | typicalPart Tricep and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10863-10863 | typicalPart UpperArm and Arm |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12489-12494 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4384-4392 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5267-5275 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12766-12771 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12501-12506 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17110-17115 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12777-12782 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2858-2858 | LeftArm est une sous-classe de BodySideFn Left and Arm |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2861-2861 | RightArm est une sous-classe de BodySideFn Right and Arm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5265-5265 | Sleeve est une sous-classe de CoveringFn Arm |
|
|
|
