No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12698-12698 |
Foot e' uma sub-classe de BodySegment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10829-10829 |
Forearm e' uma sub-classe de BodySegment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12470-12470 |
Hand e' uma sub-classe de BodySegment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10844-10844 |
LowerLeg e' uma sub-classe de BodySegment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10834-10834 |
UpperArm e' uma sub-classe de BodySegment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10839-10839 |
UpperLeg e' uma sub-classe de BodySegment |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64552-64552 |
|