TreeView Knowledge Base Browser - Limb

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Limb

Sigma KEE - Limb

Limb(limb)

appendage, extremity, leg, limb, member, shank's_mare, shank's_pony, shanks'_mare, shanks'_pony

appearance as argument number 1

(documentation Limb EnglishLanguage "Any of the limbs of a Vertebrate. Animal Appendages with joints that are used for movement and grasping.")	Mid-level-ontology.kif 13882-13884
(externalImage Limb "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Upperarm.jpg/ 250px_Upperarm.jpg")	pictureList.kif 1157-1157
(subclass Limb AnimalAnatomicalStructure)	Mid-level-ontology.kif 13880-13880	Limb is a subclass of animal anatomical structure
(subclass Limb BodyPart)	Mid-level-ontology.kif 13881-13881	Limb is a subclass of body part

appearance as argument number 2

(initialPart DigitAppendage Limb)	Mid-level-ontology.kif 13836-13836	Every digit appendage is initially part of a limb
(subclass Arm Limb)	Mid-level-ontology.kif 13790-13790	Arm is a subclass of limb
(subclass Leg Limb)	Mid-level-ontology.kif 14003-14003	Leg is a subclass of limb
(subclass Wing Limb)	Mid-level-ontology.kif 12313-12313	Wing is a subclass of limb
(termFormat ChineseLanguage Limb "肢")	domainEnglishFormat.kif 34432-34432	Wing is a subclass of limb
(termFormat ChineseTraditionalLanguage Limb "肢")	domainEnglishFormat.kif 34431-34431	Wing is a subclass of limb
(termFormat EnglishLanguage Limb "limb")	domainEnglishFormat.kif 34430-34430	Wing is a subclass of limb

antecedent

(=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H))))))	Medicine.kif 6274-6292	If a process is an instance of amputation and an entity is a patient of the process and an object is an instance of limb, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the other object and the third object is an instance of bone and the other object is a part of the entity holds during immediately before the time of existence of the process and the other object is not a part of the entity holds during immediately before the time of existence of the process
(=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB)))	Mid-level-ontology.kif 14141-14146	If an object is an instance of torso and another object is an instance of limb, then the object and the other object doesn't overlapsSpatially
(=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE))))	Mid-level-ontology.kif 13886-13891	If an object is an instance of limb, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object

consequent

(=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB))))	Mid-level-ontology.kif 13817-13822	If an object is an instance of digit appendage, then there exists another object such that the other object is an instance of limb and the object is a part of the other object
(=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE)))))	Mid-level-ontology.kif 13896-13901	If an object is an instance of snake, then there doesn't exist another object such that the other object is an instance of limb and the other object is a part of the object

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

Show without tree

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