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


KB Term:  Term intersection
English Word: 

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


(subclass AnatomicalStructure OrganicObject) Merge.kif 15088-15088 Anatomical structure is a subclass of organic object
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15089-15089 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15090-15090 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(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 15091-15094 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(externalImage AnatomicalStructure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg") pictureList.kif 2101-2101 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure

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


(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 15111-15111 Abnormal anatomical structure is a subclass of anatomical structure
(subclass BodyPart AnatomicalStructure) Merge.kif 15124-15124 Body part is a subclass of anatomical structure
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15171-15171 Animal anatomical structure is a subclass of anatomical structure
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15182-15182 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

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14523-14523 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 8033-8044 If X is an instance of shedding part, X Y and Z, Y is an instance of organism, Z is an instance of anatomical structure, and Z is a part of Y, then there exists W such that W is an instance of removing, W originates at Y, and Z is a patient of W
(=>
    (instance ?ANAT AnatomicalStructure)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (part ?ANAT ?ORGANISM)))))		 Merge.kif 15096-15102 If X is an instance of anatomical structure, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a part of Y holds during Z
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))		 Merge.kif 15104-15109 If X is an instance of anatomical structure, then there exists Y such that Y is an instance of cell and Y is a part of X

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


(=>
    (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 5349-5360 If X is an instance of animal product, then there exist Y, Z, W such that Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, Z is an instance of animal or W is a part of Z, and W is an instance of anatomical structure
(=>
    (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 5527-5538 If X is an instance of plant product, then there exist Y, Z, W such that Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, Z is an instance of plant or W is a part of Z, and W is an instance of anatomical structure
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5594-5601 If equal X and Object made from Y and X is a subclass of object, then Y is a subclass of organism or Y is a subclass of anatomical structure
(=>
    (instance ?INJ Injuring)
    (exists (?STRUCT)
        (and
            (instance ?STRUCT AnatomicalStructure)
            (patient ?INJ ?STRUCT))))		 Merge.kif 10591-10596 If X is an instance of injuring, then there exists Y such that Y is an instance of anatomical structure and Y is a patient of X
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))		 Merge.kif 10621-10628 If X is an instance of poisoning, then there exists Y such that Y is a patient of X and Y is an instance of organism or Y is an instance of anatomical structure


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