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 的总体结构至小部分。") Merge.kif 15102-15103
(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 15098-15101
(subclass BodyPart AnatomicalStructure) Merge.kif 15097-15097

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


(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15057-15057
(subclass AnimalShell BodyPart) Mid-level-ontology.kif 9747-9747
(subclass BodyCavity BodyPart) Merge.kif 15240-15240
(subclass BodyCovering BodyPart) Merge.kif 15211-15211
(subclass BodyJunction BodyPart) Merge.kif 15227-15227
(subclass Bust BodyPart) Mid-level-ontology.kif 10486-10486
(subclass Cell BodyPart) Merge.kif 15252-15252
(subclass CellPart BodyPart) Mid-level-ontology.kif 9310-9310
(subclass Chin BodyPart) Mid-level-ontology.kif 10526-10526
(subclass DigitAppendage BodyPart) Mid-level-ontology.kif 10202-10202
(subclass EggYolk BodyPart) Food.kif 585-585
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 9889-9889
(subclass Face BodyPart) Mid-level-ontology.kif 10507-10507
(subclass Feather BodyPart) Mid-level-ontology.kif 18081-18081
(subclass Foot BodyPart) Mid-level-ontology.kif 10364-10364
(subclass Hand BodyPart) Mid-level-ontology.kif 10190-10190
(subclass Head BodyPart) Mid-level-ontology.kif 10490-10490
(subclass Hoof BodyPart) Mid-level-ontology.kif 9698-9698
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 10038-10038
(subclass Limb BodyPart) Mid-level-ontology.kif 10268-10268
(subclass Lip BodyPart) Mid-level-ontology.kif 9809-9809
(subclass Mouth BodyPart) Mid-level-ontology.kif 9662-9662
(subclass Neck BodyPart) Mid-level-ontology.kif 10495-10495
(subclass Organ BodyPart) Merge.kif 15257-15257
(subclass PlantBranch BodyPart) Mid-level-ontology.kif 9081-9081

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 27902-27902

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 28332-28342
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 15105-15111
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 15113-15118

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


(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 11074-11080
(=>
    (instance ?A Atrophy)
    (exists (?B)
        (and
            (experiencer ?A ?B)
            (instance ?B BodyPart))))
Mid-level-ontology.kif 6134-6139
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 15218-15225
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15232-15238
(=>
    (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 2577-2586


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners