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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arthropod
Arthropod(arthropod)
Arthropoda, Asian_horseshoe_crab, Chelicerata, Eurypterida, Limulidae, Limulus, Limulus_polyphemus, Merostomata, Pentastomida, Pycnogonida, Tachypleus, Xiphosura, Xiphosurus_polyphemus, arthropod, arthropod_family, arthropod_genus, arthropodal, arthropodan, arthropodous, class_Merostomata, eurypterid, family_Limulidae, genus_Limulus, genus_Tachypleus, horseshoe_crab, instar, king_crab, order_Eurypterida, order_Pycnogonida, order_Xiphosura, pentastomid, phylum_Arthropoda, pycnogonid, sea_spider, subphylum_Pentastomida, superclass_Chelicerata, tongue_worm, trilobite

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


s__disjointDecomposition__5(s__Arthropod,s__Arachnid,s__Myriapod,s__Insect,s__Crustacean)

Merge.kif 13873-13873 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
s__documentation(s__Arthropod,s__ChineseLanguage,'"这是包括 ArachnidInsects 的 Invertebrate Class。"')

chinese_format.kif 3404-3405
s__documentation(s__Arthropod,s__EnglishLanguage,'"A Class of Invertebrate that includes Arachnids and Insects."')

Merge.kif 13874-13875
s__externalImage(s__Arthropod,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Arthropod_phylogeny.png"')

pictureList.kif 4511-4511
s__subclass(s__Arthropod,s__Invertebrate)

s__instance(s__Invertebrate,s__SetOrClass)

s__instance(s__Arthropod,s__SetOrClass)

Merge.kif 13872-13872 Arthropod is a subclass of invertebrate

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


s__biologicalAgentCarrier(s__RickettsiaProwazekii,s__Arthropod)

WMD.kif 267-267 Arthropod is a biological agent carrier of rickettsia prowazekii
s__biologicalAgentCarrier(s__RickettsiaRickettsii,s__Arthropod)

WMD.kif 253-253 Arthropod is a biological agent carrier of rickettsia rickettsii
s__biologicalAgentCarrier(s__RickettsialAgent,s__Arthropod)

WMD.kif 248-248 Arthropod is a biological agent carrier of rickettsial agent
s__instance(s__Arthropod,s__SetOrClass)

s__instance(s__Arachnid,s__SetOrClass)

s__subclass(s__Arachnid,s__Arthropod)

Merge.kif 13877-13877 Arachnid is a subclass of arthropod
s__instance(s__Crustacean,s__SetOrClass)

s__instance(s__Arthropod,s__SetOrClass)

s__subclass(s__Crustacean,s__Arthropod)

Merge.kif 13889-13889 Crustacean is a subclass of arthropod
s__instance(s__Arthropod,s__SetOrClass)

s__subclass(s__Insect,s__Arthropod)

s__instance(s__Insect,s__SetOrClass)

Merge.kif 13885-13885 Insect is a subclass of arthropod
s__instance(s__Myriapod,s__SetOrClass)

s__subclass(s__Myriapod,s__Arthropod)

s__instance(s__Arthropod,s__SetOrClass)

Merge.kif 13881-13881 Myriapod is a subclass of arthropod
s__termFormat(s__ChineseLanguage,s__Arthropod,'"节肢动物"')

chinese_format.kif 980-980
s__termFormat(s__EnglishLanguage,s__Arthropod,'"arthropod"')

english_format.kif 1172-1172

appearance as argument number 4
-------------------------


s__disjointDecomposition__4(s__Invertebrate,s__Worm,s__Mollusk,s__Arthropod)

Merge.kif 13852-13852 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod


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