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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mollusk

 Sigma KEE - Mollusk
Mollusk(Molusco)

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 Molusco e' uma sub-classe de Invertebrado

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1470-1470 biologicalAgentCarrier Conotoxin and Molusco
No TPTP formula. May not be expressible in strict first order. WMD.kif 1455-1455 biologicalAgentCarrier Saxitoxin and Molusco
No TPTP formula. May not be expressible in strict first order. Food.kif 1986-1986 meatOfAnimal MolluskMeat and Molusco
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20155-20155 Gastropod e' uma sub-classe de Molusco
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30504-30504 Octopus e' uma sub-classe de Molusco
No TPTP formula. May not be expressible in strict first order. Food.kif 2713-2713 Oyster e' uma sub-classe de Molusco
No TPTP formula. May not be expressible in strict first order. Food.kif 3364-3364 Scallop e' uma sub-classe de Molusco
No TPTP formula. May not be expressible in strict first order. Food.kif 2407-2407 Squid e' uma sub-classe de Molusco
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 Invertebrado e' disjuntamente decomponivel em Verme, Molusco, + Artropode


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