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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BodyPart
BodyPart(body part)ANS, Adam's_apple, Broca's_area, Broca's_center, Broca's_convolution, Broca's_gyrus, Brodmann's_area, Brodmann's_area_17, GI, Graafian_follicle, Janus-faced, Jesuit's_bark, Luschka's_tonsil, McBurney's_point, Monro's_foramen, Peruvian_bark, RAS, RF, Rolando's_area, Russell's_body, Turkish_tobacco, Wernicke's_area, Wernicke's_center, Xylaria_polymorpha, Yule_log, abactinal, abdominal_nerve_plexus, abdominovesical, abomasal, abomasum, aboral, acanthion, acentric, acervulus, acetabulum, acinar, acinic, acinose, acinous, acinus, acrocentric, actinal, active_site, aculea, aculeate, aculeated, aculeus, acumen, adactylous, adenohypophysis...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3493-3494
No TPTP formula. May not be expressible in strict first order. Merge.kif 15103-15106
No TPTP formula. May not be expressible in strict first order. Merge.kif 15102-15102 Body part is a subclass of anatomical structure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15067-15067 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6252-6252 The values returned by body area are subclasses of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15126-15126 The values returned by Body side fn are subclasses of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12857-12857 Animal shell is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1646-1646 Pinna is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15251-15251 Body cavity is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15225-15225 Body covering is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15239-15239 Body junction is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11903-11903 Body segment is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15354-15354 Bone is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15259-15259 Cell is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12210-12210 Cell part is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14250-14250 Chin is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13465-13465 Cornea is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13813-13813 Digit appendage is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1658-1658 Myringa is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Food.kif 2553-2553 Egg yolk is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13001-13001 Exoskeleton is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1469-1469 Eyebrow is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14214-14214 Face is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21954-21954 Feather is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1518-1518 Forehead is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13201-13201 Frontal lobe is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14197-14197 Head is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12789-12789 Hoof is a subclass of body part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13740-13740 The number 1 argument of inflammation is an instance of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7287-7287 The number 1 argument of pain is an instance of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7260-7260 The number 1 argument of paralysis is an instance of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12034-12034 The number 1 argument of body angle is an instance of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12035-12035 The number 2 argument of body angle is an instance of body part
No TPTP formula. May not be expressible in strict first order. Geography.kif 6752-6752 The number 2 argument of shedding body part is an instance of body part
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6251-6251 The number 1 argument of body area is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 The number 2 argument of Body side fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31644-31644 The number 1 argument of Covering fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 18426-18426 The number 1 argument of dead or missing body part fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11308-11308 The number 1 argument of edema is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 18405-18405 The number 1 argument of impaired body part fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13293-13293 The number 1 argument of connected is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13294-13294 The number 2 argument of connected is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 27-27 The number 1 argument of connected body parts is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 28-28 The number 2 argument of connected body parts is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1772-1772 The number 2 argument of muscle insertion is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1722-1722 The number 2 argument of muscle origin is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1986-1986 The number 2 argument of supplies blood is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32096-32106 An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1000-1011
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3631-3647
No TPTP formula. May not be expressible in strict first order. Merge.kif 15108-15114
No TPTP formula. May not be expressible in strict first order. Merge.kif 15116-15121

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11315-11323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11293-11305
No TPTP formula. May not be expressible in strict first order. Merge.kif 11248-11254
No TPTP formula. May not be expressible in strict first order. emotion.kif 1505-1515
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2006-2020
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2027-2041
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2049-2064
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2073-2089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7383-7388
No TPTP formula. May not be expressible in strict first order. Merge.kif 15230-15237
No TPTP formula. May not be expressible in strict first order. Merge.kif 15243-15249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2581-2590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10760


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