Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass BodySubstance Substance) Merge.kif 13794-13794
(subclass Mycotoxin BodySubstance) WMD.kif 218-218
(subclass Batrachotoxin BodySubstance) WMD.kif 309-309
(subclass BotulinumToxin BodySubstance) WMD.kif 323-323
(subclass EpsilonToxin BodySubstance) WMD.kif 349-349
(subclass Saxitoxin BodySubstance) WMD.kif 1390-1390
(subclass Conotoxin BodySubstance) WMD.kif 1405-1405
(subclass Tetrodotoxin BodySubstance) WMD.kif 1414-1414
(subclass Excrement BodySubstance) Mid-level-ontology.kif 1999-1999
(subclass Rubber BodySubstance) Mid-level-ontology.kif 8034-8034
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 8410-8410
(subclass AnimalSubstance BodySubstance) Merge.kif 13800-13800
(subclass PlantSubstance BodySubstance) Merge.kif 13811-13811
(subclass Hormone BodySubstance) Merge.kif 13822-13822
(subclass Blood BodySubstance) Merge.kif 13841-13841
(subclass Tissue BodySubstance) Merge.kif 14085-14085


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