No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10801-10801 |
Every gastrocnemius is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10816-10816 |
Every hamstring muscle is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1035-1035 |
Every leg bone is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10845-10845 |
Every lower leg is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10808-10808 |
Every tibialis anterior is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10793-10793 |
Every quadriceps is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10840-10840 |
Every upper leg is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33773-33773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33772-33772 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33771-33771 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10800-10800 |
A gastrocnemius is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10815-10815 |
A hamstring muscle is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10846-10846 |
A lower leg is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10807-10807 |
A tibialis anterior is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10792-10792 |
A quadriceps is typically a part of a leg |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10841-10841 |
A upper leg is typically a part of a leg |