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 10354-10354
(externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg")	pictureList.kif 123-123	"http://upload.wikimedia.org/wikipedia/commons/5/54/ Legs.jpg" is a URL depicting leg
(subclass Leg Limb)	Mid-level-ontology.kif 10353-10353	Leg is a subclass of limb

appearance as argument number 2

(termFormat EnglishLanguage Leg "leg")

domainEnglishFormat.kif 6047-6047

"leg" is the printable form of leg in english language

antecedent

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

Mid-level-ontology.kif 10356-10361

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) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely))	Mid-level-ontology.kif 4884-4898	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 L2 such that the entity is an instance of leg and another entity is an instance of leg 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 (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L))))	Mid-level-ontology.kif 5456-5464	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 10378-10383	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 10368-10373	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 10422-10427	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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: