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 14679-14679 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 14680-14680 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 14678-14678 Invertebrate is a subclass of animal

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


(subclass Arthropod Invertebrate) Merge.kif 14699-14699 Arthropod is a subclass of invertebrate
(subclass Coral Invertebrate) Geography.kif 7501-7501 Coral is a subclass of invertebrate
(subclass Mollusk Invertebrate) Merge.kif 14694-14694 Mollusk is a subclass of invertebrate
(subclass Worm Invertebrate) Merge.kif 14682-14682 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 14622-14622 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 12856-12863
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 13000-13005


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