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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mollusk
Mollusk(mollusque)

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 14542-14544
No TPTP formula. May not be expressible in strict first order. Merge.kif 14541-14541 Mollusque est une sous-classe de invertebr�

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1470-1470 biologicalAgentCarrier Conotoxin and mollusque
No TPTP formula. May not be expressible in strict first order. WMD.kif 1455-1455 biologicalAgentCarrier Saxitoxin and mollusque
No TPTP formula. May not be expressible in strict first order. Food.kif 1986-1986 meatOfAnimal MolluskMeat and mollusque
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20154-20154 Gastropod est une sous-classe de mollusque
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30492-30492 Octopus est une sous-classe de mollusque
No TPTP formula. May not be expressible in strict first order. Food.kif 2713-2713 Oyster est une sous-classe de mollusque
No TPTP formula. May not be expressible in strict first order. Food.kif 3364-3364 Scallop est une sous-classe de mollusque
No TPTP formula. May not be expressible in strict first order. Food.kif 2407-2407 Squid est une sous-classe de mollusque
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 14526-14526 Invertebr� est disjointement decompos� en ver, mollusque, + arthropode


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