muscleInsertion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1766-1768
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1771-1771	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 1772-1772	The number 2 argument of muscle insertion is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1770-1770	muscle insertion is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1773-1773
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1774-1774

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1780-1791	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1793-1815	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1776-1778	If the insertion point of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1611-1611	The insertion point of abductor digiti minimi muscle is BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2147-2147	The insertion point of abductor digiti minimi muscle is PhalangesOfFifthToe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2130-2130	The insertion point of abductor hallucis muscle is MedialSideOfBaseOfProximalPhalanxOfFirstDigit
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1584-1584	The insertion point of abductor pollicis brevis muscle is RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1538-1538	The insertion point of abductor pollicis longus muscle is FirstMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1593-1593	The insertion point of abductor pollicis brevis muscle is RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1941-1941	The insertion point of adductor brevis muscle is LesserTrochanterAndLineaAsperaOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2183-2183	The insertion point of adductor hallucis muscle is PhalanxOfBigToe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1950-1950	The insertion point of adductor longus muscle is MiddleThirdOfLineaAspera
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1959-1959	The insertion point of adductor magnus muscle is FemurAdductorTubercleOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1908-1908	The insertion point of adductor muscles of the &hip is FemurTibia
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1372-1372	The insertion point of anconeus muscle is LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1812-1812	The insertion point of articularis genus muscle is SuprapatellarBursa
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 542-542	The insertion point of arytenoid (transverse and oblique) muscle is ArytenoidCartilageOnOppositeSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 166-166	The insertion point of auricularis anterior muscle is FrontOfHelixOfEar
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 182-182	The insertion point of auricularis posterior muscle is DorsalPartOfAuricle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 174-174	The insertion point of auricularis superior muscle is DorsocranialSurfaceOfAuricle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1343-1343	The insertion point of coracobrachialis muscle is RadialTuberosity
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1875-1875	The insertion point of biceps femoris muscle is HeadOfFibula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1351-1351	The insertion point of brachialis muscle is CoronoidProcessOfUlnaTuberosityOfUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1492-1492	The insertion point of brachioradialis muscle is RadialStyloidProcessDistalRadius
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 296-296	The insertion point of buccinator muscle is FibresOfOrbicularisOris
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 396-396	The insertion point of chondroglossus muscle is IntrinsicMuscularFibersOfTongue
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1090-1090	The insertion point of coccygeus muscle is coccyx
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1333-1333	The insertion point of coracobrachialis muscle is MedialSurfaceOfHumerus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: