Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BodyPart
BodyPart

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


(subclass BodyPart AnatomicalStructure) Merge.kif 15258-15258
(documentation BodyPart 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 15259-15262

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15223-15223
(rangeSubclass BodySideFn BodyPart) Merge.kif 15282-15282
(subclass ReproductiveBody BodyPart) Merge.kif 15314-15314
(subclass BodyCovering BodyPart) Merge.kif 15368-15368
(subclass BodyJunction BodyPart) Merge.kif 15382-15382
(subclass BodyCavity BodyPart) Merge.kif 15394-15394
(subclass Cell BodyPart) Merge.kif 15402-15402
(subclass Organ BodyPart) Merge.kif 15406-15406
(subclass Bone BodyPart) Merge.kif 15497-15497
(subclass Muscle BodyPart) Merge.kif 15525-15525
(subclass VocalFold BodyPart) Mid-level-ontology.kif 788-788
(subclass NasalSeptum BodyPart) Mid-level-ontology.kif 7216-7216
(subclass PlantBranch BodyPart) Mid-level-ontology.kif 10965-10965
(subclass BodySegment BodyPart) Mid-level-ontology.kif 12025-12025
(subclass CellPart BodyPart) Mid-level-ontology.kif 12335-12335
(subclass Mouth BodyPart) Mid-level-ontology.kif 12922-12922
(subclass Tongue BodyPart) Mid-level-ontology.kif 12934-12934
(subclass Hoof BodyPart) Mid-level-ontology.kif 12958-12958
(subclass AnimalShell BodyPart) Mid-level-ontology.kif 13026-13026
(subclass Lip BodyPart) Mid-level-ontology.kif 13089-13089
(subclass Skeleton BodyPart) Mid-level-ontology.kif 13151-13151
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 13170-13170
(subclass Medulla BodyPart) Mid-level-ontology.kif 13350-13350
(subclass Pons BodyPart) Mid-level-ontology.kif 13356-13356
(subclass ParietalLobe BodyPart) Mid-level-ontology.kif 13362-13362

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass BodySideFn 2 BodyPart) Merge.kif 15281-15281
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 18559-18559
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 18580-18580
(domain ParalysisFn 1 BodyPart) Mid-level-ontology.kif 7442-7442
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 7470-7470
(domainSubclass EdemaFn 1 BodyPart) Mid-level-ontology.kif 11424-11424
(domain bodyAngle 1 BodyPart) Mid-level-ontology.kif 12156-12156
(domain bodyAngle 2 BodyPart) Mid-level-ontology.kif 12157-12157
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 13462-13462
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 13463-13463
(domain InflammationFn 1 BodyPart) Mid-level-ontology.kif 14024-14024
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 32332-32332
(domainSubclass connectedBodyPartTypes 1 BodyPart) Anatomy.kif 24-24
(domainSubclass connectedBodyPartTypes 2 BodyPart) Anatomy.kif 25-25
(domainSubclass muscleOrigin 2 BodyPart) Anatomy.kif 1709-1709
(domainSubclass muscleInsertion 2 BodyPart) Anatomy.kif 1759-1759
(domainSubclass suppliesBlood 2 BodyPart) Anatomy.kif 1974-1974
(domain sheddingBodyPart 2 BodyPart) Geography.kif 8074-8074
(domainSubclass BodyAreaFn 1 BodyPart) Medicine.kif 6265-6265

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


(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))		 Merge.kif 15264-15270
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))		 Merge.kif 15272-15277
(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))		 Mid-level-ontology.kif 32812-32822
(=>
    (and
        (instance ?A LocalAnesthetizing)
        (located ?A ?BP)
        (instance ?BP BodyPart)
        (part ?BP ?P)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (not
            (attribute ?P
                (PainFn ?BP)))))		 Medicine.kif 989-1000
(=>
    (and
        (instance ?I Injecting)
        (instance ?A Adalimumab)
        (objectTransferred ?I ?A)
        (located ?I ?BP)
        (instance ?BP BodyPart)
        (destination ?I ?H))
    (modalAttribute
        (exists (?T)
            (and
                (holdsDuring ?T
                    (attribute ?H
                        (PainFn ?BP)))
                (during ?T
                    (FutureFn
                        (WhenFn ?I))))) Likely))		 Medicine.kif 3659-3675

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


(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11362-11368
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))		 Merge.kif 15373-15380
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))		 Merge.kif 15386-15392
(=>
    (instance ?PROC Excreting)
    (exists (?ORG ?WASTE ?PART)
        (and
            (instance ?ORG Organism)
            (agent ?PROC ?ORG)
            (patient ?PROC ?WASTE)
            (instance ?WASTE Excrement)
            (instance ?PART BodyPart)
            (instrument ?PROC ?PART))))		 Mid-level-ontology.kif 2717-2726
(=>
    (instance ?A Atrophy)
    (exists (?B)
        (and
            (experiencer ?A ?B)
            (instance ?B BodyPart))))		 Mid-level-ontology.kif 7534-7539
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H HoleRegion)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))		 Mid-level-ontology.kif 10916-10923
(=>
    (and
        (instance ?E Edema)
        (experiencer ?E ?A))
    (exists (?T ?P ?L)
        (and
            (instance ?T Transfer)
            (instance ?L Liquid)
            (instance ?P BodyPart)
            (part ?P ?A)
            (destination ?T ?P)
            (moves ?T ?L)
            (subProcess ?T ?E))))		 Mid-level-ontology.kif 11409-11421
(=>
    (and
        (instance ?E
            (EdemaFn ?P))
        (experiencer ?E ?A))
    (exists (?PI)
        (and
            (instance ?PI BodyPart)
            (part ?PI ?A)
            (located ?E ?PI))))		 Mid-level-ontology.kif 11431-11439
(=>
    (attribute ?D Dorsal)
    (exists (?O)
        (and
            (or
                (instance ?O Organism)
                (instance ?O BodyPart))
            (not
                (and
                    (instance ?O Organism)
                    (instance ?O BodyPart)))
            (part ?D ?O)
            (equal ?B
                (BackFn ?O))
            (meetsSpatially ?B ?D))))		 Anatomy.kif 1994-2008
(=>
    (attribute ?V Ventral)
    (exists (?O ?F)
        (and
            (or
                (instance ?O Organism)
                (instance ?O BodyPart))
            (not
                (and
                    (instance ?O Organism)
                    (instance ?O BodyPart)))
            (part ?V ?O)
            (equal ?F
                (FrontFn ?O))
            (meetsSpatially ?F ?V))))		 Anatomy.kif 2015-2029
(=>
    (instance ?A Abducting)
    (exists (?BP ?ORGANISM ?TORSO ?MAF)
        (and
            (instance ?BP BodyPart)
            (instance ?ORGANISM Organism)
            (instance ?TORSO Torso)
            (not
                (equal ?BP ?TORSO))
            (subProcess ?MAF MovingAwayFrom)
            (patient ?MAF ?BP)
            (patient ?MAF ?TORSO)
            (part ?BP ?ORGANISM)
            (part ?TORSO ?ORGANISM)
            (experiencer ?A Organism)
            (moves ?A ?BP))))		 Anatomy.kif 2037-2052
(=>
    (instance ?A Adducting)
    (exists (?BP ?ORGANISM ?TORSO ?MT)
        (and
            (instance ?BP BodyPart)
            (instance ?ORGANISM Organism)
            (instance ?TORSO Torso)
            (not
                (equal ?BP ?TORSO))
            (instance ?MT MovingTowards)
            (subProcess ?MT ?A)
            (patient ?MT ?BP)
            (patient ?MT ?TORSO)
            (part ?BP ?ORGANISM)
            (part ?TORSO ?ORGANISM)
            (experiencer ?A Organism)
            (moves ?A ?BP))))		 Anatomy.kif 2061-2077
(=>
    (instance ?DEVICE BodyCareAppliance)
    (hasPurpose ?DEVICE
        (exists (?PROC ?PATIENT)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?DEVICE)
                (patient ?PROC ?PATIENT)
                (or
                    (instance ?PATIENT Human)
                    (instance ?PATIENT BodyPart))))))		 HouseholdAppliances.kif 95-105
(=>
    (and
        (instance ?P PerspiringWholeBody)
        (experiencer ?P ?A))
    (not
        (exists (?B)
            (and
                (instance ?B BodyPart)
                (part ?B ?A)
                (not
                    (destination ?P ?B))))))		 emotion.kif 2360-2370


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners