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 14578-14578 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 14579-14579 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 14577-14577 Invertebrate is a subclass of animal

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


(subclass Arthropod Invertebrate) Merge.kif 14598-14598 Arthropod is a subclass of invertebrate
(subclass Coral Invertebrate) Geography.kif 6034-6034 Coral is a subclass of invertebrate
(subclass Mollusk Invertebrate) Merge.kif 14593-14593 Mollusk is a subclass of invertebrate
(subclass Worm Invertebrate) Merge.kif 14581-14581 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 14521-14521 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 12427-12434
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 12571-12576


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