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


KB Term:  Term intersection
English Word: 

Sigma KEE - Crustacean
Crustacean(crustacean)
Amphipoda, Anostraca, Armadillidiidae, Armadillidium, Artemia, Artemia_salina, Balanidae, Balanus, Balanus_balanoides, Brachyura, Branchiopoda, Branchiura, Caprella, Chirocephalus, Cirripedia, Copepoda, Crangon, Crustacea, Cyamus, Decapoda, Entomostraca, Euphausia_pacifica, Euphausiacea, Isopoda, Lepadidae, Lepas, Lepas_fascicularis, Malacostraca, Mysidae, Mysis, Natantia, Notostraca, Oniscidae, Oniscus, Orchestia, Orchestiidae, Ostracoda, Paguridae, Pagurus, Palaemon, Palaemonidae, Porcellio, Porcellionidae, Praunus, Reptantia, Schizopoda, Squillidae, Stomatopoda, Triopidae, Triops...

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


(subclass Crustacean Arthropod) Merge.kif 14716-14716 Crustacean is a subclass of arthropod
(documentation Crustacean EnglishLanguage "A Class of Arthropods that mainly dwells in water and has a segmented body and a chitinous exoskeleton. Includes lobsters, crabs, shrimp, and barnacles.") Merge.kif 14717-14719 Crustacean is a subclass of arthropod
(externalImage Crustacean "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") pictureList.kif 947-947 Crustacean is a subclass of arthropod

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


(subclass Prawn Crustacean) Food.kif 1974-1974 Shrimp is a subclass of crustacean
(subclass Crab Crustacean) Food.kif 2549-2549 Crab is a subclass of crustacean
(subclass Lobster Crustacean) Food.kif 2658-2658 Lobster is a subclass of crustacean
(termFormat EnglishLanguage Crustacean "crustacean") english_format.kif 1175-1175 Lobster is a subclass of crustacean

appearance as argument number 5
-------------------------


(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14700-14700 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean

antecedent
-------------------------


(=>
    (and
        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))
Geography.kif 8094-8098 If X is an instance of crustacean and X is Removing Y from its body, then Y is an instance of animal shell


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