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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hand
Hand(hand)
hand, hooks, left, left_hand, manus, maulers, meat_hooks, mitt, palm, paw, right, right_hand, thenar

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12471-12472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 109-109
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12469-12469 Hand is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12470-12470 Hand is a subclass of body segment

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 880-880 Every finger bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 832-832 Every palm bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 744-744 Every wrist bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27306-27306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27305-27305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27304-27304

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


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

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1492-1500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6622-6631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13083-13087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5135-5143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19856-19858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8887-8895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12510-12515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1457-1466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13072-13077

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4743-4743 Glove is equal to a covering for hand
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2888-2888 Left hand is a subclass of the left hand
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2891-2891 Right hand is a subclass of the right hand


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