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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyPart
BodyPart(partie du corps)

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


(documentation BodyPart ChineseLanguage "这是 Organism 某个特定部位而并非病理的 Cell 和 Tissue。这个 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 14843-14846
(subclass BodyPart AnatomicalStructure) Merge.kif 14842-14842 Partie du corps est une sous-classe de structure anatomique

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 14807-14807 Structure anatomique est compl�tement d�compos� en partie du corps + AbnormalAnatomicalStructure
(rangeSubclass BodySideFn BodyPart) Merge.kif 14866-14866 Les valeurs retourn�es par BodySideFn sont des sous-classes de partie du corps
(subclass AnimalShell BodyPart) Mid-level-ontology.kif 11461-11461 AnimalShell est une sous-classe de partie du corps
(subclass BodyCavity BodyPart) Merge.kif 14991-14991 BodyCavity est une sous-classe de partie du corps
(subclass BodyCovering BodyPart) Merge.kif 14965-14965 Partie du corps en recouvrant une autre est une sous-classe de partie du corps
(subclass BodyJunction BodyPart) Merge.kif 14979-14979 Junction de parties du corps est une sous-classe de partie du corps
(subclass BodySegment BodyPart) Mid-level-ontology.kif 10525-10525 BodySegment est une sous-classe de partie du corps
(subclass Bone BodyPart) Merge.kif 15094-15094 Os est une sous-classe de partie du corps
(subclass Cell BodyPart) Merge.kif 14999-14999 Cellule est une sous-classe de partie du corps
(subclass CellPart BodyPart) Mid-level-ontology.kif 10832-10832 CellPart est une sous-classe de partie du corps
(subclass Chin BodyPart) Mid-level-ontology.kif 12855-12855 Chin est une sous-classe de partie du corps
(subclass Cornea BodyPart) Mid-level-ontology.kif 12069-12069 Cornea est une sous-classe de partie du corps
(subclass DigitAppendage BodyPart) Mid-level-ontology.kif 12418-12418 DigitAppendage est une sous-classe de partie du corps
(subclass EggYolk BodyPart) Food.kif 1689-1689 EggYolk est une sous-classe de partie du corps
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 11605-11605 Exoskeleton est une sous-classe de partie du corps
(subclass Face BodyPart) Mid-level-ontology.kif 12819-12819 Face est une sous-classe de partie du corps
(subclass Feather BodyPart) Mid-level-ontology.kif 20242-20242 Feather est une sous-classe de partie du corps
(subclass FrontalLobe BodyPart) Mid-level-ontology.kif 11805-11805 FrontalLobe est une sous-classe de partie du corps
(subclass Head BodyPart) Mid-level-ontology.kif 12802-12802 Head est une sous-classe de partie du corps
(subclass Hoof BodyPart) Mid-level-ontology.kif 11411-11411 Hoof est une sous-classe de partie du corps
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 12029-12029 Hypothalamus est une sous-classe de partie du corps
(subclass Limb BodyPart) Mid-level-ontology.kif 12486-12486 Limb est une sous-classe de partie du corps
(subclass Lip BodyPart) Mid-level-ontology.kif 11524-11524 Lip est une sous-classe de partie du corps
(subclass Medulla BodyPart) Mid-level-ontology.kif 11785-11785 Medulla est une sous-classe de partie du corps
(subclass Mouth BodyPart) Mid-level-ontology.kif 11375-11375 Mouth est une sous-classe de partie du corps

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 12345-12345 Le nombre 1 argument de InflammationFn est une instance de partie du corps
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 6322-6322 Le nombre 1 argument de PainFn est une instance de partie du corps
(domain ParalysisFn 1 BodyPart) Mid-level-ontology.kif 6295-6295 Le nombre 1 argument de ParalysisFn est une instance de partie du corps
(domain bodyAngle 1 BodyPart) Mid-level-ontology.kif 10656-10656 Le nombre 1 argument de bodyAngle est une instance de partie du corps
(domain bodyAngle 2 BodyPart) Mid-level-ontology.kif 10657-10657 Le nombre 2 argument de bodyAngle est une instance de partie du corps
(domain sheddingBodyPart 2 BodyPart) Geography.kif 6356-6356 Le nombre 2 argument de sheddingBodyPart est une instance de partie du corps
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14865-14865 Le nombre 2 argument de BodySideFn est une sous-classe de partie du corps
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29626-29626 Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 18129-18129 Le nombre 1 argument de DeadOrMissingBodyPartFn est une sous-classe de partie du corps
(domainSubclass EdemaFn 1 BodyPart) Mid-level-ontology.kif 9951-9951 Le nombre 1 argument de EdemaFn est une sous-classe de partie du corps
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 18108-18108 Le nombre 1 argument de ImpairedBodyPartFn est une sous-classe de partie du corps
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 11897-11897 Le nombre 1 argument de connectedBodyPart est une sous-classe de partie du corps
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11898-11898 Le nombre 2 argument de connectedBodyPart est une sous-classe de partie du corps
(domainSubclass connectedBodyPartTypes 1 BodyPart) Anatomy.kif 27-27 Le nombre 1 argument de connectedBodyPartTypes est une sous-classe de partie du corps
(domainSubclass connectedBodyPartTypes 2 BodyPart) Anatomy.kif 28-28 Le nombre 2 argument de connectedBodyPartTypes est une sous-classe de partie du corps

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 30079-30089 Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))		 Merge.kif 14848-14854
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))		 Merge.kif 14856-14861

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 9958-9966
(=>
    (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 9936-9948
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11078-11084
(=>
    (and
        (instance ?P PerspiringWholeBody)
        (experiencer ?P ?A))
    (not
        (exists (?B)
            (and
                (instance ?B BodyPart)
                (part ?B ?A)
                (not
                    (destination ?P ?B))))))		 emotion.kif 1505-1515
(=>
    (instance ?A Atrophy)
    (exists (?B)
        (and
            (experiencer ?A ?B)
            (instance ?B BodyPart))))		 Mid-level-ontology.kif 6418-6423
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))		 Merge.kif 14970-14977
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))		 Merge.kif 14983-14989
(=>
    (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 2090-2099
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H HoleRegion)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))		 Mid-level-ontology.kif 9396-9403


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