TreeView Knowledge Base Browser - Arthropod

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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14547-14547	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 14548-14549
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 14546-14546	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 14551-14551	Arachnid is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14563-14563	Crustacean is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14559-14559	Insect is a subclass of arthropod
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14555-14555	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 14526-14526

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