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
-------------------------


s__documentation(s__BodyPart,s__ChineseLanguage,'"这是 Organism 某个特定部位而并非病理的 CellTissue。这个 Class 的实例的范围包括复杂 Organ 的总体结构至小部分。"')

chinese_format.kif 3493-3494
s__documentation(s__BodyPart,s__EnglishLanguage,'"A collection of Cells and Tissues which are localized to a specific area of an Organism and which are not pathological. The instances of this Class range from gross structures to small components of complex Organs."')

Merge.kif 14307-14310
s__subclass(s__BodyPart,s__AnatomicalStructure)

s__instance(s__AnatomicalStructure,s__Class)

s__instance(s__BodyPart,s__Class)

Merge.kif 14306-14306 Body part is a subclass of anatomical structure

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


s__partition__3(s__AnatomicalStructure,s__BodyPart,s__AbnormalAnatomicalStructure)

Merge.kif 14271-14271 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
s__rangeSubclass(s__BodySideFn__m,s__BodyPart)

Merge.kif 14330-14330 The values returned by BodySideFn are subclasses of body part
s__instance(s__AnimalShell,s__Class)

s__instance(s__BodyPart,s__Class)

s__subclass(s__AnimalShell,s__BodyPart)

Mid-level-ontology.kif 10879-10879 Animal shell is a subclass of body part
s__instance(s__BodyCavity,s__Class)

s__subclass(s__BodyCavity,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Merge.kif 14454-14454 Body cavity is a subclass of body part
s__instance(s__BodyCovering,s__Class)

s__subclass(s__BodyCovering,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Merge.kif 14428-14428 Body covering is a subclass of body part
s__instance(s__BodyJunction,s__Class)

s__subclass(s__BodyJunction,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Merge.kif 14442-14442 Body junction is a subclass of body part
s__subclass(s__BodySegment,s__BodyPart)

s__instance(s__BodySegment,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 9952-9952 BodySegment is a subclass of body part
s__instance(s__BodyPart,s__Class)

s__subclass(s__Cell,s__BodyPart)

s__instance(s__Cell,s__Class)

Merge.kif 14462-14462 Cell is a subclass of body part
s__instance(s__CellPart,s__Class)

s__instance(s__BodyPart,s__Class)

s__subclass(s__CellPart,s__BodyPart)

Mid-level-ontology.kif 10252-10252 Cell part is a subclass of body part
s__instance(s__Chin,s__Class)

s__subclass(s__Chin,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 12251-12251 Chin is a subclass of body part
s__subclass(s__Cornea,s__BodyPart)

s__instance(s__BodyPart,s__Class)

s__instance(s__Cornea,s__Class)

Mid-level-ontology.kif 11484-11484 Cornea is a subclass of body part
s__instance(s__DigitAppendage,s__Class)

s__instance(s__BodyPart,s__Class)

s__subclass(s__DigitAppendage,s__BodyPart)

Mid-level-ontology.kif 11830-11830 Digit appendage is a subclass of body part
s__instance(s__EggYolk,s__Class)

s__subclass(s__EggYolk,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Food.kif 522-522 EggYolk is a subclass of body part
s__subclass(s__Exoskeleton,s__BodyPart)

s__instance(s__Exoskeleton,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 11023-11023 Exoskeleton is a subclass of body part
s__instance(s__Face,s__Class)

s__subclass(s__Face,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 12215-12215 Face is a subclass of body part
s__instance(s__BodyPart,s__Class)

s__instance(s__Feather,s__Class)

s__subclass(s__Feather,s__BodyPart)

Mid-level-ontology.kif 19499-19499 Feather is a subclass of body part
s__subclass(s__FrontalLobe,s__BodyPart)

s__instance(s__FrontalLobe,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 11223-11223 Frontal lobe is a subclass of body part
s__instance(s__Head,s__Class)

s__subclass(s__Head,s__BodyPart)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 12198-12198 Head is a subclass of body part
s__subclass(s__Hoof,s__BodyPart)

s__instance(s__Hoof,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 10829-10829 Hoof is a subclass of body part
s__subclass(s__Hypothalamus,s__BodyPart)

s__instance(s__Hypothalamus,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 11444-11444 Hypothalamus is a subclass of body part
s__subclass(s__Limb,s__BodyPart)

s__instance(s__BodyPart,s__Class)

s__instance(s__Limb,s__Class)

Mid-level-ontology.kif 11898-11898 Limb is a subclass of body part
s__subclass(s__Lip,s__BodyPart)

s__instance(s__Lip,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 10942-10942 Lip is a subclass of body part
s__instance(s__Medulla,s__Class)

s__instance(s__BodyPart,s__Class)

s__subclass(s__Medulla,s__BodyPart)

Mid-level-ontology.kif 11203-11203 Medulla is a subclass of body part
s__subclass(s__Mouth,s__BodyPart)

s__instance(s__Mouth,s__Class)

s__instance(s__BodyPart,s__Class)

Mid-level-ontology.kif 10793-10793 Mouth is a subclass of body part
s__instance(s__Muscle,s__Class)

s__instance(s__BodyPart,s__Class)

s__subclass(s__Muscle,s__BodyPart)

Merge.kif 14575-14575 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
-------------------------


s__domain(s__InflammationFn__m,n__1,s__BodyPart)

Mid-level-ontology.kif 11757-11757 The number 1 argument of inflammation is an instance of body part
s__domain(s__PainFn__m,n__1,s__BodyPart)

Mid-level-ontology.kif 5998-5998 The number 1 argument of pain is an instance of body part
s__domain(s__ParalysisFn__m,n__1,s__BodyPart)

Mid-level-ontology.kif 5974-5974 The number 1 argument of paralysis is an instance of body part
s__domain(s__bodyAngle__m,n__1,s__BodyPart)

Mid-level-ontology.kif 10080-10080 The number 1 argument of body angle is an instance of body part
s__domain(s__bodyAngle__m,n__2,s__BodyPart)

Mid-level-ontology.kif 10081-10081 The number 2 argument of body angle is an instance of body part
s__domainSubclass(s__BodySideFn__m,n__2,s__BodyPart)

Merge.kif 14329-14329 The number 2 argument of BodySideFn is a subclass of body part
s__domainSubclass(s__CoveringFn__m,n__1,s__BodyPart)

Mid-level-ontology.kif 28968-28968 The number 1 argument of CoveringFn is a subclass of body part
s__domainSubclass(s__DeadOrMissingBodyPartFn__m,n__1,s__BodyPart)

Merge.kif 17530-17530 The number 1 argument of DeadOrMissingBodyPartFn is a subclass of body part
s__domainSubclass(s__EdemaFn__m,n__1,s__BodyPart)

Mid-level-ontology.kif 9419-9419 The number 1 argument of edema is a subclass of body part
s__domainSubclass(s__ImpairedBodyPartFn__m,n__1,s__BodyPart)

Merge.kif 17510-17510 The number 1 argument of ImpairedBodyPartFn is a subclass of body part
s__domainSubclass(s__connectedBodyPart__m,n__1,s__BodyPart)

Mid-level-ontology.kif 11314-11314 The number 1 argument of a %1 is connected to a 1 is a subclass of body part
s__domainSubclass(s__connectedBodyPart__m,n__2,s__BodyPart)

Mid-level-ontology.kif 11315-11315 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 29410-29420 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 14312-14318
( ! [V__PART] :
   ((s__instance(V__PART,s__BodyPart) =>
       (( ? [V__PROC] :
           ((s__instance(V__PROC,s__PhysiologicProcess) &
               s__result(V__PROC,V__PART))))))
   )
)

Merge.kif 14320-14325

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


( ! [V__P,V__A,V__E] :
   (((s__subclass(V__P,s__BodyPart) &
         s__instance(V__A,s__Agent) &
         s__instance(V__E,s__Process))
       =>
       (((s__instance(V__E,s__EdemaFn(V__P))
         &
         s__experiencer(V__E,V__A))
     =>
     (( ? [V__PI] :
         ((s__instance(V__PI,s__BodyPart) &
             s__part(V__PI,V__A)
           &
           s__located(V__E,V__PI))))))))
)
)

Mid-level-ontology.kif 9426-9434
( ! [V__A,V__E] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__E,s__Edema) &
             s__experiencer(V__E,V__A))
         =>
         (( ? [V__T, V__P, V__L] :
             ((s__instance(V__T,s__Transfer) &
                 s__instance(V__L,s__Liquid) &
                 s__instance(V__P,s__BodyPart) &
                 s__part(V__P,V__A)
               &
               s__destination(V__T,V__P)
             &
             s__moves(V__T,V__L)
           &
           s__subProcess(V__T,V__E))))))))
)
)

Mid-level-ontology.kif 9404-9416
( ! [V__OBJ,V__MOTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__MOTION,s__BodyMotion) &
             s__moves(V__MOTION,V__OBJ))
         =>
         ((s__instance(V__OBJ,s__BodyPart) &
             s__patient(V__MOTION,V__OBJ))))))
)
)

Merge.kif 10678-10684
( ! [V__P,V__A] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__P,s__PerspiringWholeBody) &
             s__experiencer(V__P,V__A))
         =>
         (~(( ? [V__B] :
               ((s__instance(V__B,s__BodyPart) &
                   s__part(V__B,V__A)
                 &
                 ~(s__destination(V__P,V__B))))))))))
)
)

emotion.kif 1513-1523
( ! [V__A] :
   ((s__instance(V__A,s__Atrophy) =>
       (( ? [V__B] :
           ((s__experiencer(V__A,V__B)
             &
             s__instance(V__B,s__BodyPart))))))
   )
)

Mid-level-ontology.kif 6092-6097
( ! [V__COVER] :
   ((s__instance(V__COVER,s__BodyCovering) =>
       (( ? [V__BODY] :
           ((s__superficialPart(V__COVER,V__BODY)
             &
             (s__instance(V__BODY,s__Organism) |
               s__instance(V__BODY,s__BodyPart)))))))
   )
)

Merge.kif 14433-14440
( ! [V__JUNCT] :
   ((s__instance(V__JUNCT,s__BodyJunction) =>
       (( ? [V__OBJ1, V__OBJ2] :
           ((s__instance(V__OBJ1,s__BodyPart) &
               s__instance(V__OBJ2,s__BodyPart) &
               s__connects(V__JUNCT,V__OBJ1,V__OBJ2))))))
   )
)

Merge.kif 14446-14452
( ! [V__PROC] :
   ((s__instance(V__PROC,s__Excreting) =>
       (( ? [V__ORG, V__WASTE, V__PART] :
           ((s__instance(V__ORG,s__Organism) &
               s__agent(V__PROC,V__ORG)
             &
             s__patient(V__PROC,V__WASTE)
           &
           s__instance(V__WASTE,s__Excrement) &
           s__instance(V__PART,s__BodyPart) &
           s__instrument(V__PROC,V__PART))))))
)
)

Mid-level-ontology.kif 2056-2065
( ! [V__U] :
   ((s__instance(V__U,s__Ulcer) =>
       (( ? [V__H, V__BP] :
           ((s__instance(V__H,s__Hole) &
               s__instance(V__BP,s__BodyPart) &
               (V__BP = s__HoleHostFn(V__H))
             &
             s__part(V__BP,V__U))))))
)
)

Mid-level-ontology.kif 8996-9003


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