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 14550-14550 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed %n
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") chinese_format.kif 3400-3400
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") Merge.kif 14551-14551
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") pictureList.kif 1487-1487
(subclass Invertebrate Animal) Merge.kif 14549-14549 無脊椎動物動物subclass では %n

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


(subclass Arthropod Invertebrate) Merge.kif 14570-14570 節足動物無脊椎動物subclass では %n
(subclass Coral Invertebrate) Geography.kif 5965-5965 Coral無脊椎動物subclass では %n
(subclass Mollusk Invertebrate) Merge.kif 14565-14565 軟体動物無脊椎動物subclass では %n
(subclass Worm Invertebrate) Merge.kif 14553-14553 蠕虫無脊椎動物subclass では %n
(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 14493-14493 動物脊椎動物 + 無脊椎動物exhaustively partitioned %n

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


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 11558-11565
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 11702-11707


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