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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14295-14298
(subclass BodyPart AnatomicalStructure) Merge.kif 14294-14294 subclass BodyPart and AnatomicalStructure

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 14259-14259 partition AnatomicalStructure, BodyPart and AbnormalAnatomicalStructure
(rangeSubclass BodySideFn BodyPart) Merge.kif 14318-14318 rangeSubclass BodySideFn and BodyPart
(subclass AnimalShell BodyPart) Mid-level-ontology.kif 10743-10743 subclass AnimalShell and BodyPart
(subclass BodyCavity BodyPart) Merge.kif 14442-14442 subclass BodyCavity and BodyPart
(subclass BodyCovering BodyPart) Merge.kif 14416-14416 subclass BodyCovering and BodyPart
(subclass BodyJunction BodyPart) Merge.kif 14430-14430 subclass BodyJunction and BodyPart
(subclass BodySegment BodyPart) Mid-level-ontology.kif 9844-9844 subclass BodySegment and BodyPart
(subclass Cell BodyPart) Merge.kif 14450-14450 subclass Cell and BodyPart
(subclass CellPart BodyPart) Mid-level-ontology.kif 10144-10144 subclass CellPart and BodyPart
(subclass Chin BodyPart) Mid-level-ontology.kif 12117-12117 subclass Chin and BodyPart
(subclass Cornea BodyPart) Mid-level-ontology.kif 11350-11350 subclass Cornea and BodyPart
(subclass DigitAppendage BodyPart) Mid-level-ontology.kif 11696-11696 subclass DigitAppendage and BodyPart
(subclass EggYolk BodyPart) Food.kif 522-522 subclass EggYolk and BodyPart
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 10887-10887 subclass Exoskeleton and BodyPart
(subclass Face BodyPart) Mid-level-ontology.kif 12081-12081 subclass Face and BodyPart
(subclass Feather BodyPart) Mid-level-ontology.kif 19326-19326 subclass Feather and BodyPart
(subclass FrontalLobe BodyPart) Mid-level-ontology.kif 11089-11089 subclass FrontalLobe and BodyPart
(subclass Head BodyPart) Mid-level-ontology.kif 12064-12064 subclass Head and BodyPart
(subclass Hoof BodyPart) Mid-level-ontology.kif 10693-10693 subclass Hoof and BodyPart
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 11310-11310 subclass Hypothalamus and BodyPart
(subclass Limb BodyPart) Mid-level-ontology.kif 11764-11764 subclass Limb and BodyPart
(subclass Lip BodyPart) Mid-level-ontology.kif 10806-10806 subclass Lip and BodyPart
(subclass Medulla BodyPart) Mid-level-ontology.kif 11069-11069 subclass Medulla and BodyPart
(subclass Mouth BodyPart) Mid-level-ontology.kif 10657-10657 subclass Mouth and BodyPart
(subclass Muscle BodyPart) Merge.kif 14560-14560 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 11623-11623 domain InflammationFn, 1 and BodyPart
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 5998-5998 domain PainFn, 1 and BodyPart
(domain ParalysisFn 1 BodyPart) Mid-level-ontology.kif 5974-5974 domain ParalysisFn, 1 and BodyPart
(domain bodyAngle 1 BodyPart) Mid-level-ontology.kif 9972-9972 domain bodyAngle, 1 and BodyPart
(domain bodyAngle 2 BodyPart) Mid-level-ontology.kif 9973-9973 domain bodyAngle, 2 and BodyPart
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14317-14317 domainSubclass BodySideFn, 2 and BodyPart
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 28784-28784 domainSubclass CoveringFn, 1 and BodyPart
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 17515-17515 domainSubclass DeadOrMissingBodyPartFn, 1 and BodyPart
(domainSubclass EdemaFn 1 BodyPart) Mid-level-ontology.kif 9311-9311 domainSubclass EdemaFn, 1 and BodyPart
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 17495-17495 domainSubclass ImpairedBodyPartFn, 1 and BodyPart
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 11180-11180 domainSubclass connectedBodyPart, 1 and BodyPart
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11181-11181 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 29226-29236 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 14300-14306
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 14308-14313

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 9318-9326
(=>
    (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 9296-9308
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10667-10673
(=>
    (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 6092-6097
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 14421-14428
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 14434-14440
(=>
    (instance ?PROC Excretion)
    (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 2056-2065
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H Hole)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))
Mid-level-ontology.kif 8929-8936


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