No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12725-12725 |
足 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10856-10856 |
Forearm 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12497-12497 |
手 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10871-10871 |
LowerLeg 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10861-10861 |
UpperArm 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10866-10866 |
UpperLeg 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64554-64554 |
|