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. Merge.kif 19474-19475
No TPTP formula. May not be expressible in strict first order. Merge.kif 19470-19473
No TPTP formula. May not be expressible in strict first order. Merge.kif 19469-19469 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 19429-19429 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9748-9748 Animal shell is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 19612-19612 Body cavity is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 19583-19583 Body covering is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 19599-19599 Body junction is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10487-10487 Bust is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 19624-19624 Cell is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9311-9311 Cell part is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10527-10527 Chin is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10203-10203 Digit appendage is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Food.kif 585-585 EggYolk is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9890-9890 Exoskeleton is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10508-10508 Face is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18082-18082 Feather is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10365-10365 Foot is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10191-10191 Hand is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10491-10491 Head is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9699-9699 Hoof is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10039-10039 Hypothalamus is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10269-10269 Limb is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9810-9810 Lip is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9663-9663 Mouth is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10496-10496 Neck is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 19629-19629 Organ is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9082-9082 Plant branch 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 27903-27903 The number 1 argument of CoveringFn is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28333-28343 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 19477-19483
No TPTP formula. May not be expressible in strict first order. Merge.kif 19485-19490

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15176-15182
No TPTP formula. May not be expressible in strict first order. emotion.kif 1474-1484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6135-6140
No TPTP formula. May not be expressible in strict first order. Merge.kif 19590-19597
No TPTP formula. May not be expressible in strict first order. Merge.kif 19604-19610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2577-2586


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners