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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyPart

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 14679-14682
No TPTP formula. May not be expressible in strict first order. Merge.kif 14678-14678 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 14643-14643 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14702-14702 The values returned by BodySideFn are subclasses of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11007-11007 Animal shell is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14826-14826 Body cavity is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14800-14800 Body covering is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14814-14814 Body junction is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10080-10080 BodySegment is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14834-14834 Cell is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10380-10380 Cell part is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12380-12380 Chin is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11612-11612 Cornea is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11959-11959 Digit appendage is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Food.kif 522-522 EggYolk is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11151-11151 Exoskeleton is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12344-12344 Face is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19644-19644 Feather is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11351-11351 Frontal lobe is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12327-12327 Head is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10957-10957 Hoof is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11572-11572 Hypothalamus is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12027-12027 Limb is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11070-11070 Lip is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11331-11331 Medulla is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10921-10921 Mouth is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14947-14947 Muscle 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 11886-11886 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 6021-6021 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 5997-5997 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 10208-10208 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 10209-10209 The number 2 argument of body angle is an instance of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14701-14701 The number 2 argument of BodySideFn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29113-29113 The number 1 argument of CoveringFn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 17965-17965 The number 1 argument of DeadOrMissingBodyPartFn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9547-9547 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 17945-17945 The number 1 argument of ImpairedBodyPartFn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11442-11442 The number 1 argument of a %1 is connected to a 1 is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11443-11443 The number 2 argument of a %1 is connected to a 2 is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29556-29566 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. Merge.kif 14684-14690
No TPTP formula. May not be expressible in strict first order. Merge.kif 14692-14697

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9554-9562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9532-9544
No TPTP formula. May not be expressible in strict first order. Merge.kif 10980-10986
No TPTP formula. May not be expressible in strict first order. emotion.kif 1513-1523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6115-6120
No TPTP formula. May not be expressible in strict first order. Merge.kif 14805-14812
No TPTP formula. May not be expressible in strict first order. Merge.kif 14818-14824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2073-2082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9020-9027


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