antagonistMuscles - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12012-12013
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12010-12010	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 12011-12011	The number 2 argument of antagonist muscles is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12008-12008	antagonist muscles is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12009-12009	antagonist muscles is an instance of irreflexive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12015-12015
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12014-12014

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12045	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of extension and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12021-12032	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2198-2198	Abductor digiti minimi muscle and flexor digiti minimi brevis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2188-2188	Abductor hallucis muscle and adductor hallucis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2135-2135	Adductor hallucis muscle and abductor hallucis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1588-1588	AdductorPollicisMuscle and abductor pollicis brevis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1542-1542	AdductorPollicisMuscle and abductor pollicis longus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12047-12047	Bicep and tricep are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12049-12049	Gastrocnemius and tibialis anterior are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1193-1193	Deltoid muscle and latissimus dorsi muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2207-2207	Dorsal interossei muscle and plantar interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 833-833	Iliocostalis muscle and rectus abdominis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 891-891	Iliocostalis muscle and RectusAbdominusMuscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1407-1407	ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and palmaris longus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1398-1398	ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and flexor carpi radialis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1418-1418	Extensor carpi ulnaris muscle and flexor carpi ulnaris muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1625-1625	Extensor digiti minimi muscle and finger flexor digiti minimi brevis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2143-2143	ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum brevis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2070-2070	ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum longus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1447-1447	Extensor digitorum muscle and flexor digitorum profundus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1427-1427	Extensor digitorum muscle and flexor digitorum superficialis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2178-2178	Extensor hallucis longus muscle and FlexorHallucisBrevis are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2061-2061	Extensor hallucis longus muscle and flexor hallucis longus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1579-1579	ExtensorPollicisLongusExtensorPollicisBrevisMuscle and flexor pollicis brevis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1458-1458	ExtensorPollicisLongusExtensorPollicisBrevisMuscle and flexor pollicis longus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1026-1026	External intercostals muscle and internal intercostals muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1976-1976	FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and tibialis anterior muscle are antagonist muscles

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: