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 18942-18942 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") Merge.kif 18944-18944
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") Merge.kif 18943-18943
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") pictureList.kif 1488-1488 "http://upload.wikimedia.org/wikipedia/commons/2/29/ Asterias.png" is a URL depicting invertebrate
(subclass Invertebrate Animal) Merge.kif 18941-18941 Invertebrate is a subclass of animal

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


(subclass Arthropod Invertebrate) Merge.kif 18957-18957 Arthropod is a subclass of invertebrate
(subclass Coral Invertebrate) Geography.kif 5546-5546 Coral is a subclass of invertebrate
(subclass Mollusk Invertebrate) Merge.kif 18950-18950 Mollusk is a subclass of invertebrate
(subclass Worm Invertebrate) Merge.kif 18946-18946 Worm is a subclass of invertebrate
(termFormat ChineseLanguage Invertebrate "无脊椎动物") chinese_format.kif 977-977 "无脊椎动物" is the printable form of invertebrate in ChineseLanguage
(termFormat EnglishLanguage Invertebrate "invertebrate") english_format.kif 1629-1629 "invertebrate" is the printable form of invertebrate in english language
(termFormat JapaneseLanguage Invertebrate "無脊椎動物") english_format.kif 1630-1630 "無脊椎動物" is the printable form of invertebrate in japanese language

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


(partition Animal Vertebrate Invertebrate) Merge.kif 18877-18877 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 9753-9760
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9895-9900


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners