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

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


(subclass Arthropod Invertebrate) Merge.kif 13453-13453 subclass Arthropod and Invertebrate
(subclass Coral Invertebrate) Geography.kif 5561-5561 subclass Coral and Invertebrate
(subclass Mollusk Invertebrate) Merge.kif 13448-13448 subclass Mollusk and Invertebrate
(subclass Worm Invertebrate) Merge.kif 13445-13445 subclass Worm and Invertebrate
(termFormat ChineseLanguage Invertebrate "无脊椎动物") chinese_format.kif 977-977
(termFormat EnglishLanguage Invertebrate "invertebrate") english_format.kif 1166-1166

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


(partition Animal Vertebrate Invertebrate) Merge.kif 13385-13385 partition Animal, 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 9755-9762
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9897-9902


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