Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Muscle
Muscle(muscle)
Achilles_tendon, Purkinje's_system, Purkinje's_tissue, Purkinje_fiber, Purkinje_network, ab, abdominal, abdominal_external_oblique_muscle, abdominal_muscle, abducens_muscle, abductor, abductor_muscle, adductor, adductor_muscle, agonist, anal_sphincter, anatomical_sphincter, anconeous_muscle, antagonist, antagonistic_muscle, anterior_serratus_muscle, articular_muscle, atrioventricular_bundle, atrioventricular_node, atrioventricular_trunk, axial_muscle, biceps, bladder_sphincter, buccinator_muscle, bundle_of_His, cardiac_muscle, cardiac_sphincter, cheek_muscle, cowl_muscle, depressor, depressor_muscle, diaphragm, extensor, extensor_muscle, external_oblique_muscle, eye_muscle, facial_muscle, femoral_biceps, flexor, flexor_muscle, gastrocnemius, gastrocnemius_muscle, gluteal, gluteus_medius, gluteus_minimus...

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners