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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Invertebrate

Sigma KEE - Invertebrate
Invertebrate(无脊椎动物)

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


(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14504-14504 无脊椎动物 分拆成不相交的 蠕虫, 软体动物, 和 节肢动物
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") chinese_format.kif 3400-3400
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") Merge.kif 14505-14505
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") pictureList.kif 1487-1487
(subclass Invertebrate Animal) Merge.kif 14503-14503 无脊椎动物动物subclass

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


(subclass Arthropod Invertebrate) Merge.kif 14524-14524 节肢动物无脊椎动物subclass
(subclass Coral Invertebrate) Geography.kif 5965-5965 珊瑚无脊椎动物subclass
(subclass Mollusk Invertebrate) Merge.kif 14519-14519 软体动物无脊椎动物subclass
(subclass Worm Invertebrate) Merge.kif 14507-14507 蠕虫无脊椎动物subclass
(termFormat ChineseLanguage Invertebrate "无脊椎动物") chinese_format.kif 977-977
(termFormat EnglishLanguage Invertebrate "invertebrate") english_format.kif 1161-1161
(termFormat FrenchLanguage Invertebrate "invertebr�") french_format.kif 654-654
(termFormat Hindi Invertebrate "akasherukI") terms-hindi.txt 185-185
(termFormat ItalianLanguage Invertebrate "Invertebrato") terms-it.txt 188-188
(termFormat JapaneseLanguage Invertebrate "無脊椎動物") japanese_format.kif 2338-2338
(termFormat PortugueseLanguage Invertebrate "Invertebrado") portuguese_format.kif 606-606
(termFormat cz Invertebrate "invertebrate") terms-cz.txt 222-222
(termFormat ro Invertebrate "nevertebratã") relations-ro.kif 675-675
(termFormat tg Invertebrate "") terms-tg.txt 189-189

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14447-14447 动物 详尽无遗地 partition脊椎动物无脊椎动物

consequent
-------------------------


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 11531-11538
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 11675-11680


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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