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 14236-14236
(documentation Invertebrate ChineseLanguage "这是一种无脊椎 Animal。") chinese_format.kif 3400-3400
(documentation Invertebrate EnglishLanguage "An Animal which has no spinal column.") Merge.kif 14237-14237
(externalImage Invertebrate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Asterias.png") pictureList.kif 1488-1488
(subclass Invertebrate Animal) Merge.kif 14235-14235

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


(subclass Arthropod Invertebrate) Merge.kif 14256-14256
(subclass Coral Invertebrate) Geography.kif 5862-5862
(subclass Mollusk Invertebrate) Merge.kif 14251-14251
(subclass Worm Invertebrate) Merge.kif 14239-14239
(termFormat ChineseLanguage Invertebrate "无脊椎动物") chinese_format.kif 977-977
(termFormat EnglishLanguage Invertebrate "invertebrate") english_format.kif 1161-1161

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14179-14179

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


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 11012-11019
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 11156-11161


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