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


KB Term:  Term intersection
English Word: 

Sigma KEE - AnatomicalStructure
AnatomicalStructure(structure anatomique)

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 15066-15069
(externalImage AnatomicalStructure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg") pictureList.kif 2101-2101
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15065-15065 Structure anatomique est compl�tement d�compos� en AnimalAnatomicalStructure + PlantAnatomicalStructure
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15064-15064 Structure anatomique est compl�tement d�compos� en partie du corps + AbnormalAnatomicalStructure
(subclass AnatomicalStructure OrganicObject) Merge.kif 15063-15063 Structure anatomique est une sous-classe de objet organique

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


(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 15086-15086 AbnormalAnatomicalStructure est une sous-classe de structure anatomique
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15146-15146 AnimalAnatomicalStructure est une sous-classe de structure anatomique
(subclass BodyPart AnatomicalStructure) Merge.kif 15099-15099 Partie du corps est une sous-classe de structure anatomique
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15157-15157 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat ChineseLanguage AnatomicalStructure "解剖结构") chinese_format.kif 1016-1016 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat EnglishLanguage AnatomicalStructure "anatomical structure") english_format.kif 1244-1244 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat FrenchLanguage AnatomicalStructure "structure anatomique") french_format.kif 694-694 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat Hindi AnatomicalStructure "shaarIrika sanrachanaa") terms-hindi.txt 225-225 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat ItalianLanguage AnatomicalStructure "StrutturaAnatomica") terms-it.txt 228-228 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat JapaneseLanguage AnatomicalStructure "解剖学的構造") japanese_format.kif 2377-2377 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat PortugueseLanguage AnatomicalStructure "Estructura Anatomica") portuguese_format.kif 646-646 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat cz AnatomicalStructure "anatomical structure") terms-cz.txt 263-263 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat de AnatomicalStructure "anatomische Struktur") terms-de.txt 522-522 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat ro AnatomicalStructure "structurã anatomicã") relations-ro.kif 715-715 PlantAnatomicalStructure est une sous-classe de structure anatomique
(termFormat tg AnatomicalStructure "kaanyuan ng katawan") terms-tg.txt 229-229 PlantAnatomicalStructure est une sous-classe de structure anatomique

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14498-14498 Objet organique est compl�tement d�compos� en organisme + structure anatomique

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 7948-7959
(=>
    (instance ?ANAT AnatomicalStructure)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (part ?ANAT ?ORGANISM)))))		 Merge.kif 15071-15077
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))		 Merge.kif 15079-15084

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 10568-10573
(=>
    (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 10598-10605


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