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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Invertebrate
Invertebrate(無脊椎動物)

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


(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14657-14657 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") chinese_format.kif 3400-3400 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") Merge.kif 14658-14658 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") pictureList.kif 1487-1487 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed
(subclass Invertebrate Animal) Merge.kif 14656-14656 無脊椎動物動物subclass では

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


(subclass Arthropod Invertebrate) Merge.kif 14677-14677 節足動物無脊椎動物subclass では
(subclass Coral Invertebrate) Geography.kif 6268-6268 Coral無脊椎動物subclass では
(subclass Mollusk Invertebrate) Merge.kif 14672-14672 軟体動物無脊椎動物subclass では
(subclass Worm Invertebrate) Merge.kif 14660-14660 蠕虫無脊椎動物subclass では
(termFormat ChineseLanguage Invertebrate "无脊椎动物") chinese_format.kif 977-977 蠕虫無脊椎動物subclass では
(termFormat EnglishLanguage Invertebrate "invertebrate") english_format.kif 1161-1161 蠕虫無脊椎動物subclass では
(termFormat FrenchLanguage Invertebrate "invertebr�") french_format.kif 654-654 蠕虫無脊椎動物subclass では
(termFormat Hindi Invertebrate "akasherukI") terms-hindi.txt 185-185 蠕虫無脊椎動物subclass では
(termFormat ItalianLanguage Invertebrate "Invertebrato") terms-it.txt 188-188 蠕虫無脊椎動物subclass では
(termFormat JapaneseLanguage Invertebrate "無脊椎動物") japanese_format.kif 2338-2338 蠕虫無脊椎動物subclass では
(termFormat PortugueseLanguage Invertebrate "Invertebrado") portuguese_format.kif 606-606 蠕虫無脊椎動物subclass では
(termFormat cz Invertebrate "invertebrate") terms-cz.txt 222-222 蠕虫無脊椎動物subclass では
(termFormat de Invertebrate "wirbelloses Tier") terms-de.txt 481-481 蠕虫無脊椎動物subclass では
(termFormat ro Invertebrate "nevertebratã") relations-ro.kif 675-675 蠕虫無脊椎動物subclass では
(termFormat tg Invertebrate "") terms-tg.txt 189-189 蠕虫無脊椎動物subclass では

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14600-14600 動物脊椎動物 + 無脊椎動物exhaustively partitioned

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