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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyPart

Sigma KEE - BodyPart
BodyPart

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


(documentation BodyPart ChineseLanguage "这是 Organism 某个特定部位而并非病理的 CellTissue。这个 Class 的实例的范围包括复杂 Organ 的总体结构至小部分。") chinese_format.kif 3493-3494
(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 14679-14682
(subclass BodyPart AnatomicalStructure) Merge.kif 14678-14678 subclass BodyPart and AnatomicalStructure

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 14643-14643 partition AnatomicalStructure, BodyPart and AbnormalAnatomicalStructure
(rangeSubclass BodySideFn BodyPart) Merge.kif 14702-14702 rangeSubclass BodySideFn and BodyPart
(subclass AnimalShell BodyPart) Mid-level-ontology.kif 11007-11007 subclass AnimalShell and BodyPart
(subclass BodyCavity BodyPart) Merge.kif 14826-14826 subclass BodyCavity and BodyPart
(subclass BodyCovering BodyPart) Merge.kif 14800-14800 subclass BodyCovering and BodyPart
(subclass BodyJunction BodyPart) Merge.kif 14814-14814 subclass BodyJunction and BodyPart
(subclass BodySegment BodyPart) Mid-level-ontology.kif 10080-10080 subclass BodySegment and BodyPart
(subclass Cell BodyPart) Merge.kif 14834-14834 subclass Cell and BodyPart
(subclass CellPart BodyPart) Mid-level-ontology.kif 10380-10380 subclass CellPart and BodyPart
(subclass Chin BodyPart) Mid-level-ontology.kif 12380-12380 subclass Chin and BodyPart
(subclass Cornea BodyPart) Mid-level-ontology.kif 11612-11612 subclass Cornea and BodyPart
(subclass DigitAppendage BodyPart) Mid-level-ontology.kif 11959-11959 subclass DigitAppendage and BodyPart
(subclass EggYolk BodyPart) Food.kif 522-522 subclass EggYolk and BodyPart
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 11151-11151 subclass Exoskeleton and BodyPart
(subclass Face BodyPart) Mid-level-ontology.kif 12344-12344 subclass Face and BodyPart
(subclass Feather BodyPart) Mid-level-ontology.kif 19644-19644 subclass Feather and BodyPart
(subclass FrontalLobe BodyPart) Mid-level-ontology.kif 11351-11351 subclass FrontalLobe and BodyPart
(subclass Head BodyPart) Mid-level-ontology.kif 12327-12327 subclass Head and BodyPart
(subclass Hoof BodyPart) Mid-level-ontology.kif 10957-10957 subclass Hoof and BodyPart
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 11572-11572 subclass Hypothalamus and BodyPart
(subclass Limb BodyPart) Mid-level-ontology.kif 12027-12027 subclass Limb and BodyPart
(subclass Lip BodyPart) Mid-level-ontology.kif 11070-11070 subclass Lip and BodyPart
(subclass Medulla BodyPart) Mid-level-ontology.kif 11331-11331 subclass Medulla and BodyPart
(subclass Mouth BodyPart) Mid-level-ontology.kif 10921-10921 subclass Mouth and BodyPart
(subclass Muscle BodyPart) Merge.kif 14947-14947 subclass Muscle and BodyPart

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain InflammationFn 1 BodyPart) Mid-level-ontology.kif 11886-11886 domain InflammationFn, 1 and BodyPart
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 6021-6021 domain PainFn, 1 and BodyPart
(domain ParalysisFn 1 BodyPart) Mid-level-ontology.kif 5997-5997 domain ParalysisFn, 1 and BodyPart
(domain bodyAngle 1 BodyPart) Mid-level-ontology.kif 10208-10208 domain bodyAngle, 1 and BodyPart
(domain bodyAngle 2 BodyPart) Mid-level-ontology.kif 10209-10209 domain bodyAngle, 2 and BodyPart
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14701-14701 domainSubclass BodySideFn, 2 and BodyPart
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29113-29113 domainSubclass CoveringFn, 1 and BodyPart
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 17965-17965 domainSubclass DeadOrMissingBodyPartFn, 1 and BodyPart
(domainSubclass EdemaFn 1 BodyPart) Mid-level-ontology.kif 9547-9547 domainSubclass EdemaFn, 1 and BodyPart
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 17945-17945 domainSubclass ImpairedBodyPartFn, 1 and BodyPart
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 11442-11442 domainSubclass connectedBodyPart, 1 and BodyPart
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11443-11443 domainSubclass connectedBodyPart, 2 and BodyPart

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


(<=>
    (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 29556-29566 instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 14684-14690
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 14692-14697

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


(=>
    (and
        (instance ?E
            (EdemaFn ?P))
        (experiencer ?E ?A))
    (exists (?PI)
        (and
            (instance ?PI BodyPart)
            (part ?PI ?A)
            (located ?E ?PI))))
Mid-level-ontology.kif 9554-9562
(=>
    (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 9532-9544
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10980-10986
(=>
    (and
        (instance ?P PerspiringWholeBody)
        (experiencer ?P ?A))
    (not
        (exists (?B)
            (and
                (instance ?B BodyPart)
                (part ?B ?A)
                (not
                    (destination ?P ?B))))))
emotion.kif 1513-1523
(=>
    (instance ?A Atrophy)
    (exists (?B)
        (and
            (experiencer ?A ?B)
            (instance ?B BodyPart))))
Mid-level-ontology.kif 6115-6120
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 14805-14812
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 14818-14824
(=>
    (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 2073-2082
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H Hole)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))
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