| Pectoralis(chest muscle) | | greater_pectoral_muscle, musculus_pectoralis, musculus_pectoralis_major, pecs, pectoral, pectoral_muscle, pectoralis, pectoralis_major |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10767-10767 | Every chest muscle is initially part of a chest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10765-10765 | Chest muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10766-10766 | A chest muscle is typically a part of a chest |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10778-10778 | Upper back muscle and chest muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10770-10770 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10769-10769 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10768-10768 |
|
|
|