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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Invertebrate
Invertebrate(invertebrate)
Actinaria, Actinia, Actiniaria, Actinozoa, Aegina, Alcyonacea, Alcyonaria, Antedon, Antedonidae, Anthozoa, Asteroidea, Astrophyton, Astrophyton_muricatum, Brachiopoda, Bryozoa, Cestida, Cestidae, Cestum, Cestum_veneris, Chrysaora, Chrysaora_quinquecirrha, Cnidaria, Coelenterata, Comatula, Comatulidae, Crinoidea, Ctenophora, Cycliophora, Cydippea, Cydippida, Cydippidea, Echinodermata, Echinoidea, Echinus_esculentus, Ectoprocta, Endoprocta, Entoprocta, Euplectella, Euryale, Euryalida, Exocycloida, Gorgonocephalus, Holothuria, Holothuria_edulis, Holothuridae, Holothuroidea, Hyalospongiae, Hydrozoa, Lobata, Metazoa...

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


(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14642-14642 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") chinese_format.kif 3400-3400 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") Merge.kif 14643-14643 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") pictureList.kif 1487-1487 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(subclass Invertebrate Animal) Merge.kif 14641-14641 Invertebrate is a subclass of animal

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


(subclass Arthropod Invertebrate) Merge.kif 14662-14662 Arthropod is a subclass of invertebrate
(subclass Coral Invertebrate) Geography.kif 6035-6035 Coral is a subclass of invertebrate
(subclass Mollusk Invertebrate) Merge.kif 14657-14657 Mollusk is a subclass of invertebrate
(subclass Worm Invertebrate) Merge.kif 14645-14645 Worm is a subclass of invertebrate
(termFormat ChineseLanguage Invertebrate "无脊椎动物") chinese_format.kif 977-977 Worm is a subclass of invertebrate
(termFormat EnglishLanguage Invertebrate "invertebrate") english_format.kif 1161-1161 Worm is a subclass of invertebrate
(termFormat FrenchLanguage Invertebrate "invertebr�") french_format.kif 654-654 Worm is a subclass of invertebrate
(termFormat Hindi Invertebrate "akasherukI") terms-hindi.txt 185-185 Worm is a subclass of invertebrate
(termFormat ItalianLanguage Invertebrate "Invertebrato") terms-it.txt 188-188 Worm is a subclass of invertebrate
(termFormat JapaneseLanguage Invertebrate "無脊椎動物") japanese_format.kif 2338-2338 Worm is a subclass of invertebrate
(termFormat PortugueseLanguage Invertebrate "Invertebrado") portuguese_format.kif 606-606 Worm is a subclass of invertebrate
(termFormat cz Invertebrate "invertebrate") terms-cz.txt 222-222 Worm is a subclass of invertebrate
(termFormat de Invertebrate "wirbelloses Tier") terms-de.txt 481-481 Worm is a subclass of invertebrate
(termFormat ro Invertebrate "nevertebratã") relations-ro.kif 675-675 Worm is a subclass of invertebrate
(termFormat tg Invertebrate "") terms-tg.txt 189-189 Worm is a subclass of invertebrate

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14585-14585 Animal is exhaustively partitioned into vertebrate and invertebrate

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


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 12880-12887
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 13024-13029


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