muscleOrigin - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1714-1718
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1721-1721	The number 1 argument of muscle origin is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1722-1722	The number 2 argument of muscle origin is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1720-1720	muscle origin is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1723-1723
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1724-1724

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1730-1741	If the origin 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 1743-1764	If the origin 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 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 1726-1728	If the origin 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 1610-1610	The origin of abductor digiti minimi muscle is Pisiform
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2146-2146	The origin of abductor digiti minimi muscle is PlantarAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2129-2129	The origin of abductor hallucis muscle is MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1583-1583	The origin of abductor pollicis brevis muscle is FlexorRetinaculumOfHandScaphoidAndTrapezium
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1537-1537	The origin of abductor pollicis longus muscle is ulna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1592-1592	The origin of abductor pollicis brevis muscle is AnteriorBoidyOfThirdMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1940-1940	The origin of adductor brevis muscle is AnteriorSurfaceOfInferiorPubicRamus11
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2182-2182	The origin of adductor hallucis muscle is ProximalEndOfmetatarsal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1949-1949	The origin of adductor longus muscle is PubicBodyJustBelowPubicCrest
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1907-1907	The origin of adductor muscles of the &hip is Pubis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 243-243	The origin of alar part dilator naris muscle is AlveolarYokeOfIncisorTooth
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 244-244	The origin of alar part dilator naris muscle is SkinNearMarginOfNostril
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1371-1371	The origin of anconeus muscle is LateralEpicondyleOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1811-1811	The origin of articularis genus muscle is FEMUR
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 541-541	The origin of arytenoid (transverse and oblique) muscle is ArytenoidCartilageOnOneSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 165-165	The origin of auricularis anterior muscle is TemporalFascia
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 181-181	The origin of auricularis posterior muscle is MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 173-173	The origin of auricularis superior muscle is EpicranialAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1342-1342	The origin of coracobrachialis muscle is CoracoidProcessOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1874-1874	The origin of biceps femoris muscle is IschialTuberosity
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1350-1350	The origin of brachialis muscle is AnteriorSurfaceOfHumerusMainlyDistalHalf
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1491-1491	The origin of brachioradialis muscle is LateralSupracondylarRidgeOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 295-295	The origin of buccinator muscle is AlveolarProcessesOfMaxillaAndMandiblePterygomandibularRaphe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1150-1150	The origin of bulbospongiosus muscle is PerinealRaphe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 395-395	The origin of chondroglossus muscle is LesserCornuAndBodyOfHyoidBone

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: