appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3528-3529 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 135-135 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | Muscle is a subclass of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | Abductor digiti minimi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | Abductor hallucis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | Abductor pollicis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | Abductor pollicis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | Abductor pollicis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | Adductor brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | Adductor hallucis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | Adductor longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | Adductor magnus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | Adductor muscles of the &hip is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | Alar part dilator naris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | Anconeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1809-1809 | Articularis genus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 539-539 | Arytenoid (transverse and oblique) muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | Auricularis anterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 179-179 | Auricularis posterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 171-171 | Auricularis superior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10781-10781 | Bicep is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1340-1340 | Coracobrachialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1872-1872 | Biceps femoris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1348-1348 | Brachialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1489-1489 | Brachioradialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 293-293 | Buccinator muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1148-1148 | Bulbospongiosus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10799-10799 | Gastrocnemius is a subclass of muscle |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10661-10661 | The number 1 argument of antagonist muscles is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10662-10662 | The number 2 argument of antagonist muscles is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1921-1921 | The number 2 argument of ennervates is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1736-1736 | The number 1 argument of muscle insertion is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1686-1686 | The number 1 argument of muscle origin is a subclass of muscle |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10404-10410 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10555-10570 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10533-10548 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15231-15233 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10647-10657 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10607-10617 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11368-11385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6330-6344 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6307-6318 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15231-15233 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19992-19997 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9449-9455 |
|