Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Arm

Sigma KEE - 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 est une sous-classe de Limb

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 688-688 initialPart ArmBone and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10810-10810 initialPart Bicep and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10857-10857 initialPart Forearm and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10815-10815 initialPart Tricep and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10862-10862 initialPart UpperArm and 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 typicalPart Bicep and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10858-10858 typicalPart Forearm and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10814-10814 typicalPart Tricep and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10863-10863 typicalPart UpperArm and Arm

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12489-12494

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4384-4392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5267-5275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12766-12771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12501-12506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17110-17115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12777-12782

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2858-2858 LeftArm est une sous-classe de BodySideFn Left and Arm
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2861-2861 RightArm est une sous-classe de BodySideFn Right and Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5265-5265 Sleeve est une sous-classe de CoveringFn 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