TreeView Knowledge Base Browser - Arm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Arm

Sigma KEE - Arm

Arm(arm)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12487-12487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 29-29
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12486-12486	Arm is a subclass of limb

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 688-688	Every arm bone is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10810-10810	Every bicep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10857-10857	Every forearm is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10815-10815	Every tricep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10862-10862	Every upper arm is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8376-8376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8375-8375
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8374-8374
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10809-10809	A bicep is typically a part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10858-10858	A forearm is typically a part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10814-10814	A tricep is typically a part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10863-10863	A upper arm is typically a part of a arm

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12489-12494

If an object is an instance of arm,
then there exists another object such that the other object is an instance of primate 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 4384-4392	If a process is an instance of crawling and an agent is an agent of the process, then there exists the agentRM such that the agentRM is an instance of arm and the agentRM is a part of the agent and the agentRM is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5267-5275	If an animal wears a self connected object and the self connected object is an instance of sleeve, then there exists an object such that the object is an instance of arm and the object is a part of the animal and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12766-12771	If an object is an instance of elbow, then there exists another object such that the other object is an instance of arm 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 12501-12506	If an object is an instance of hand, then there exists another object such that the other object is an instance of arm 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 17110-17115	If a process is an instance of throwing, then there exists an object such that the object is an instance of arm and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12777-12782	If an object is an instance of wrist, then there exists another object such that the other object is an instance of arm and the object is a part of the other object

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2858-2858	Left arm is a subclass of the left arm
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2861-2861	Right arm is a subclass of the right arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5265-5265	Sleeve is a subclass of a covering for arm

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