No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12697-12697 |
足 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10828-10828 |
Forearm 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12469-12469 |
手 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10843-10843 |
LowerLeg 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10833-10833 |
UpperArm 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10838-10838 |
UpperLeg 是 BodySegment 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64552-64552 |
|