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

Formal Language: 


KB Term:  Term intersection
English Word: 

  AnatomicalStructure

Sigma KEE - AnatomicalStructure
AnatomicalStructure(anatomical structure)
Golgi_apparatus, Golgi_body, Golgi_complex, Port_Orford_cedar, XX, XXX, XXY, XY, XYY, X_chromosome, Y_chromosome, acanthoma, acentric_chromosome, acorn_cup, acrocentric_chromosome, acrosome, adenoma, adenomatous_polyp, adipose_tumor, afterbirth, agnail, allantois, amnion, amnios, amniotic_sac, amyloid_plaque, amyloid_protein_plaque, anatomical_structure, angioma, angiosarcoma, annual_ring, aplacental, apophysis, arch, archenteron, arterial_plaque, aster, autosome, axon, axone, bacterial_plaque, ball, belemnite, benign_tumor, benign_tumour, bilocular_capsule, birthmark, bistered, bistred, blackhead...

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


(documentation AnatomicalStructure ChineseLanguage "这是 Organism 的解剖构造或结构组织的正常 或病理部分。这个类别包括 BodyPart 和由 Organism 所产生的的结构如:ReproductiveBody。") chinese_format.kif 3488-3489
(documentation AnatomicalStructure EnglishLanguage "A normal or pathological part of the anatomy or structural organization of an Organism. This class covers BodyParts, as well as structures that are given off by Organisms, e.g. ReproductiveBodies.") Merge.kif 15069-15072
(externalImage AnatomicalStructure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg") pictureList.kif 2101-2101
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15068-15068 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15067-15067 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
(subclass AnatomicalStructure OrganicObject) Merge.kif 15066-15066 Anatomical structure is a subclass of organic object

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


(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 15089-15089 Abnormal anatomical structure is a subclass of anatomical structure
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15149-15149 Animal anatomical structure is a subclass of anatomical structure
(subclass BodyPart AnatomicalStructure) Merge.kif 15102-15102 Body part is a subclass of anatomical structure
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15160-15160 Plant anatomical structure is a subclass of anatomical structure
(termFormat ChineseLanguage AnatomicalStructure "解剖结构") chinese_format.kif 1016-1016 Plant anatomical structure is a subclass of anatomical structure
(termFormat EnglishLanguage AnatomicalStructure "anatomical structure") english_format.kif 1244-1244 Plant anatomical structure is a subclass of anatomical structure
(termFormat FrenchLanguage AnatomicalStructure "structure anatomique") french_format.kif 694-694 Plant anatomical structure is a subclass of anatomical structure
(termFormat Hindi AnatomicalStructure "shaarIrika sanrachanaa") terms-hindi.txt 225-225 Plant anatomical structure is a subclass of anatomical structure
(termFormat ItalianLanguage AnatomicalStructure "StrutturaAnatomica") terms-it.txt 228-228 Plant anatomical structure is a subclass of anatomical structure
(termFormat JapaneseLanguage AnatomicalStructure "解剖学的構造") japanese_format.kif 2377-2377 Plant anatomical structure is a subclass of anatomical structure
(termFormat PortugueseLanguage AnatomicalStructure "Estructura Anatomica") portuguese_format.kif 646-646 Plant anatomical structure is a subclass of anatomical structure
(termFormat cz AnatomicalStructure "anatomical structure") terms-cz.txt 263-263 Plant anatomical structure is a subclass of anatomical structure
(termFormat de AnatomicalStructure "anatomische Struktur") terms-de.txt 522-522 Plant anatomical structure is a subclass of anatomical structure
(termFormat ro AnatomicalStructure "structurã anatomicã") relations-ro.kif 715-715 Plant anatomical structure is a subclass of anatomical structure
(termFormat tg AnatomicalStructure "kaanyuan ng katawan") terms-tg.txt 229-229 Plant anatomical structure is a subclass of anatomical structure

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14501-14501 Organic object is exhaustively partitioned into organism and anatomical structure

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


(=>
    (and
        (instance ?REL SheddingPart)
        (?REL ?O ?P)
        (instance ?O Organism)
        (instance ?P AnatomicalStructure)
        (part ?P ?O))
    (exists (?R)
        (and
            (instance ?R Removing)
            (origin ?R ?O)
            (patient ?R ?P))))
Geography.kif 6715-6726
(=>
    (instance ?ANAT AnatomicalStructure)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (part ?ANAT ?ORGANISM)))))
Merge.kif 15074-15080
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))
Merge.kif 15082-15087

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


(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))
Economy.kif 5599-5606
(=>
    (instance ?INJ Injuring)
    (exists (?STRUCT)
        (and
            (instance ?STRUCT AnatomicalStructure)
            (patient ?INJ ?STRUCT))))
Merge.kif 10571-10576
(=>
    (instance ?P AnimalProduct)
    (exists (?M ?A ?B)
        (and
            (instance ?M Manufacture)
            (result ?M ?P)
            (patient ?M ?A)
            (or
                (instance ?A Animal)
                (and
                    (part ?B ?A)
                    (instance ?B AnatomicalStructure))))))
Economy.kif 5354-5365
(=>
    (instance ?P PlantProduct)
    (exists (?M ?A ?B)
        (and
            (instance ?M Manufacture)
            (result ?M ?P)
            (patient ?M ?A)
            (or
                (instance ?A Plant)
                (and
                    (part ?B ?A)
                    (instance ?B AnatomicalStructure))))))
Economy.kif 5532-5543
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 10601-10608


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