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 14657-14657 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 14658-14658 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 14656-14656 Invertebrate is a subclass of animal

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


(subclass Arthropod Invertebrate) Merge.kif 14677-14677 Arthropod is a subclass of invertebrate
(subclass Coral Invertebrate) Geography.kif 6268-6268 Coral is a subclass of invertebrate
(subclass Mollusk Invertebrate) Merge.kif 14672-14672 Mollusk is a subclass of invertebrate
(subclass Worm Invertebrate) Merge.kif 14660-14660 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 14600-14600 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 12862-12869
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 13006-13011


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