Leg - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.")	Mid-level-ontology.kif 13998-13998
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg")	pictureList.kif 123-123
(subclass Leg Limb)	Mid-level-ontology.kif 13997-13997	Leg is a subclass of Limb

appearance as argument number 2

(initialPart CalfMuscle Leg)	Mid-level-ontology.kif 12126-12126	initialPart CalfMuscle and Leg
(initialPart HamstringMuscle Leg)	Mid-level-ontology.kif 12141-12141	initialPart HamstringMuscle and Leg
(initialPart LegBone Leg)	Anatomy.kif 1066-1066	initialPart LegBone and Leg
(initialPart LowerLeg Leg)	Mid-level-ontology.kif 12170-12170	initialPart LowerLeg and Leg
(initialPart ShinMuscle Leg)	Mid-level-ontology.kif 12133-12133	initialPart ShinMuscle and Leg
(initialPart ThighMuscle Leg)	Mid-level-ontology.kif 12118-12118	initialPart ThighMuscle and Leg
(initialPart UpperLeg Leg)	Mid-level-ontology.kif 12165-12165	initialPart UpperLeg and Leg
(termFormat ChineseLanguage Leg "腿")	domainEnglishFormat.kif 33783-33783	initialPart UpperLeg and Leg
(termFormat ChineseTraditionalLanguage Leg "腿")	domainEnglishFormat.kif 33782-33782	initialPart UpperLeg and Leg
(termFormat EnglishLanguage Leg "leg")	domainEnglishFormat.kif 33781-33781	initialPart UpperLeg and Leg
(typicalPart CalfMuscle Leg)	Mid-level-ontology.kif 12125-12125	typicalPart CalfMuscle and Leg
(typicalPart HamstringMuscle Leg)	Mid-level-ontology.kif 12140-12140	typicalPart HamstringMuscle and Leg
(typicalPart LowerLeg Leg)	Mid-level-ontology.kif 12171-12171	typicalPart LowerLeg and Leg
(typicalPart ShinMuscle Leg)	Mid-level-ontology.kif 12132-12132	typicalPart ShinMuscle and Leg
(typicalPart ThighMuscle Leg)	Mid-level-ontology.kif 12117-12117	typicalPart ThighMuscle and Leg
(typicalPart UpperLeg Leg)	Mid-level-ontology.kif 12166-12166	typicalPart UpperLeg and Leg

antecedent

(=>
    (instance ?LEG Leg)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (part ?LEG ?ANIMAL))))

Mid-level-ontology.kif 14000-14005

If an object is an instance of Leg,
then there exists another object such that the other object is an instance of animal and the object is a part of the other object

consequent

(=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely))	Mid-level-ontology.kif 4854-4870	If an agent is an instance of Biped and a process is an instance of Ambulating and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of Leg and the other entity is an instance of Leg and equal the entity and the other entity and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of Likely
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 14007-14020	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of Leg and the third object is an instance of Leg and equal the other object and the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L))))	Mid-level-ontology.kif 6101-6109	If an animal wears a self connected object and the self connected object is an instance of Trousers, then there exists an object such that the object is an instance of Leg and the object is a part of the animal and the self connected object contains the object
(=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L))))	Mid-level-ontology.kif 14053-14058	If an object is an instance of Ankle, then there exists another object such that the other object is an instance of Leg and the object is a part of the other object
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB))))	Mid-level-ontology.kif 14027-14032	If an object is an instance of Foot, then there exists another object such that the other object is an instance of Leg and the object is a part of the other object
(=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG))))	Mid-level-ontology.kif 14098-14103	If an object is an instance of Knee, then there exists another object such that the other object is an instance of Leg and the object is a part of the other object

statement

(subclass LeftLeg (BodySideFn Left Leg))	Medicine.kif 2907-2907	LeftLeg is a subclass of BodySideFn Left and Leg
(subclass RightLeg (BodySideFn Right Leg))	Medicine.kif 2910-2910	RightLeg is a subclass of BodySideFn Right and Leg
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 6099-6099	Trousers is a subclass of CoveringFn Leg

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: