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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12551-12553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1157-1157
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12549-12549	Limb is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12550-12550	Limb is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12505-12505	Every digit appendage is initially part of a limb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12459-12459	Arm is a subclass of limb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12672-12672	Leg is a subclass of limb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10982-10982	Wing is a subclass of limb
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34421-34421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34420-34420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34419-34419

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12810-12815	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12555-12560	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12486-12491	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12565-12570	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