Arm - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 12460-12460
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 12459-12459	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 10783-10783	Every bicep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10830-10830	Every forearm is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10788-10788	Every tricep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10835-10835	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 10782-10782	A bicep is typically a part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10831-10831	A forearm is typically a part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10787-10787	A tricep is typically a part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10836-10836	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 12462-12467

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 4391-4399	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 5273-5281	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 12739-12744	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 12474-12479	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 17083-17088	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 12750-12755	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 5271-5271	Sleeve is a subclass of a covering for arm

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