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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AnatomicalStructure
AnatomicalStructure(解剖学的構造)

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 15054-15057
(externalImage AnatomicalStructure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg") pictureList.kif 2101-2101
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15053-15053 解剖学的構造 は AnimalAnatomicalStructure + PlantAnatomicalStructure に exhaustively partitioned
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) Merge.kif 15052-15052 解剖学的構造 は 体の部分 + AbnormalAnatomicalStructure に exhaustively partitioned
(subclass AnatomicalStructure OrganicObject) Merge.kif 15051-15051 解剖学的構造 は 有機物 の subclass では

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


(subclass AbnormalAnatomicalStructure AnatomicalStructure) Merge.kif 15074-15074 AbnormalAnatomicalStructure は 解剖学的構造 の subclass では
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15134-15134 AnimalAnatomicalStructure は 解剖学的構造 の subclass では
(subclass BodyPart AnatomicalStructure) Merge.kif 15087-15087 体の部分 は 解剖学的構造 の subclass では
(subclass PlantAnatomicalStructure AnatomicalStructure) Merge.kif 15145-15145 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat ChineseLanguage AnatomicalStructure "解剖结构") chinese_format.kif 1016-1016 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat EnglishLanguage AnatomicalStructure "anatomical structure") english_format.kif 1244-1244 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat FrenchLanguage AnatomicalStructure "structure anatomique") french_format.kif 694-694 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat Hindi AnatomicalStructure "shaarIrika sanrachanaa") terms-hindi.txt 225-225 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat ItalianLanguage AnatomicalStructure "StrutturaAnatomica") terms-it.txt 228-228 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat JapaneseLanguage AnatomicalStructure "解剖学的構造") japanese_format.kif 2377-2377 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat PortugueseLanguage AnatomicalStructure "Estructura Anatomica") portuguese_format.kif 646-646 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat cz AnatomicalStructure "anatomical structure") terms-cz.txt 263-263 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat de AnatomicalStructure "anatomische Struktur") terms-de.txt 522-522 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat ro AnatomicalStructure "structurã anatomicã") relations-ro.kif 715-715 PlantAnatomicalStructure は 解剖学的構造 の subclass では
(termFormat tg AnatomicalStructure "kaanyuan ng katawan") terms-tg.txt 229-229 PlantAnatomicalStructure は 解剖学的構造 の subclass では

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14486-14486 有機物 は 物 + 解剖学的構造 に exhaustively partitioned

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 6545-6556
(=>
    (instance ?ANAT AnatomicalStructure)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (part ?ANAT ?ORGANISM)))))		 Merge.kif 15059-15065
(=>
    (instance ?PART AnatomicalStructure)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (part ?CELL ?PART))))		 Merge.kif 15067-15072

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 10556-10561
(=>
    (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 10586-10593


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