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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mollusk
Mollusk(mollusk)Akeridae, Amphineura, Ancylidae, Ancylus, Ancylus_fluviatilis, Anodonta, Aplacophora, Aplysia, Aplysia_punctata, Aplysiidae, Arca, Arcidae, Argonaut, Argonauta, Argonauta_argo, Argonautidae, Bankia, Bankia_setaceae, Belemnitidae, Belemnoidea, Bivalvia, Buccinidae, Cardiidae, Cardium, Cardium_edule, Cephalopoda, Cymatiidae, Cypraea, Cypraea_moneta, Cypraea_tigris, Cypraeidae, Decapoda, Dibranchia, Dibranchiata, Diodora_apertura, Dreissena, Dreissena_polymorpha, Ensis, Fissurella, Fissurella_apertura, Fissurellidae, Gasteropoda, Gastropoda, Haliotidae, Haliotis, Haliotis_tuberculata, Haminoea, Helicidae, Helix, Helix_aspersa...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3402-3403
No TPTP formula. May not be expressible in strict first order. Merge.kif 14520-14522
No TPTP formula. May not be expressible in strict first order. Merge.kif 14519-14519 Mollusk is a subclass of invertebrate

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1470-1470 Mollusk is a biological agent carrier of conotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1455-1455 Mollusk is a biological agent carrier of saxitoxin
No TPTP formula. May not be expressible in strict first order. Food.kif 1986-1986 Mollusk is the meat of mollusk
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20155-20155 Gastropod is a subclass of mollusk
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30504-30504 Octopus is a subclass of mollusk
No TPTP formula. May not be expressible in strict first order. Food.kif 2713-2713 Oyster is a subclass of mollusk
No TPTP formula. May not be expressible in strict first order. Food.kif 3364-3364 Scallop is a subclass of mollusk
No TPTP formula. May not be expressible in strict first order. Food.kif 2407-2407 Squid is a subclass of mollusk
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 979-979
No TPTP formula. May not be expressible in strict first order. english_format.kif 1165-1165
No TPTP formula. May not be expressible in strict first order. french_format.kif 656-656
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 187-187
No TPTP formula. May not be expressible in strict first order. terms-it.txt 190-190
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2340-2340
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 608-608
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 224-224
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 677-677
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 191-191

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


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