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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Arthropod

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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3404-3405
No TPTP formula. May not be expressible in strict first order. Merge.kif 14526-14527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4510-4510
No TPTP formula. May not be expressible in strict first order. Merge.kif 14524-14524 Arthropod is a subclass of invertebrate

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 267-267 Arthropod is a biological agent carrier of rickettsia prowazekii
No TPTP formula. May not be expressible in strict first order. WMD.kif 253-253 Arthropod is a biological agent carrier of rickettsia rickettsii
No TPTP formula. May not be expressible in strict first order. WMD.kif 248-248 Arthropod is a biological agent carrier of rickettsial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14529-14529 Arachnid is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order. Merge.kif 14541-14541 Crustacean is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order. Merge.kif 14537-14537 Insect is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order. Merge.kif 14533-14533 Myriapod is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 980-980
No TPTP formula. May not be expressible in strict first order. english_format.kif 1167-1167
No TPTP formula. May not be expressible in strict first order. french_format.kif 657-657
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 188-188
No TPTP formula. May not be expressible in strict first order. terms-it.txt 191-191
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2341-2341
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 609-609
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 225-225
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 678-678
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 192-192

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14504-14504 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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