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 13935-13938
(subclass BodyPart AnatomicalStructure) Merge.kif 13934-13934 subclass BodyPart and AnatomicalStructure

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 13899-13899 partition AnatomicalStructure, BodyPart and AbnormalAnatomicalStructure
(subclass AnimalShell BodyPart) Mid-level-ontology.kif 9746-9746 subclass AnimalShell and BodyPart
(subclass BodyCavity BodyPart) Merge.kif 14056-14056 subclass BodyCavity and BodyPart
(subclass BodyCovering BodyPart) Merge.kif 14030-14030 subclass BodyCovering and BodyPart
(subclass BodyJunction BodyPart) Merge.kif 14044-14044 subclass BodyJunction and BodyPart
(subclass Bust BodyPart) Mid-level-ontology.kif 10516-10516 subclass Bust and BodyPart
(subclass Cell BodyPart) Merge.kif 14064-14064 subclass Cell and BodyPart
(subclass CellPart BodyPart) Mid-level-ontology.kif 9294-9294 subclass CellPart and BodyPart
(subclass Chin BodyPart) Mid-level-ontology.kif 10556-10556 subclass Chin and BodyPart
(subclass DigitAppendage BodyPart) Mid-level-ontology.kif 10202-10202 subclass DigitAppendage and BodyPart
(subclass EggYolk BodyPart) Food.kif 540-540 subclass EggYolk and BodyPart
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 9888-9888 subclass Exoskeleton and BodyPart
(subclass Face BodyPart) Mid-level-ontology.kif 10537-10537 subclass Face and BodyPart
(subclass Feather BodyPart) Mid-level-ontology.kif 18113-18113 subclass Feather and BodyPart
(subclass Foot BodyPart) Mid-level-ontology.kif 10379-10379 subclass Foot and BodyPart
(subclass Hand BodyPart) Mid-level-ontology.kif 10190-10190 subclass Hand and BodyPart
(subclass Head BodyPart) Mid-level-ontology.kif 10520-10520 subclass Head and BodyPart
(subclass Hoof BodyPart) Mid-level-ontology.kif 9697-9697 subclass Hoof and BodyPart
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 10037-10037 subclass Hypothalamus and BodyPart
(subclass Limb BodyPart) Mid-level-ontology.kif 10268-10268 subclass Limb and BodyPart
(subclass Lip BodyPart) Mid-level-ontology.kif 9808-9808 subclass Lip and BodyPart
(subclass Mouth BodyPart) Mid-level-ontology.kif 9661-9661 subclass Mouth and BodyPart
(subclass Neck BodyPart) Mid-level-ontology.kif 10525-10525 subclass Neck and BodyPart
(subclass Organ BodyPart) Merge.kif 14068-14068 subclass Organ and BodyPart
(subclass PlantBranch BodyPart) Mid-level-ontology.kif 9065-9065 subclass PlantBranch and BodyPart

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 27941-27941 domainSubclass CoveringFn, 1 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 28370-28380 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 13940-13946
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 13948-13953

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


(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10413-10419
(=>
    (and
        (instance ?P PerspiringWholeBody)
        (experiencer ?P ?A))
    (not
        (exists (?B)
            (and
                (instance ?B BodyPart)
                (part ?B ?A)
                (not
                    (destination ?P ?B))))))
emotion.kif 1480-1490
(=>
    (instance ?A Atrophy)
    (exists (?B)
        (and
            (experiencer ?A ?B)
            (instance ?B BodyPart))))
Mid-level-ontology.kif 6140-6145
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 14035-14042
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 14048-14054
(=>
    (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 2578-2587


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