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

Formal Language: 


Term 1: Term 2:

(subclass BodySubstance Substance) Merge.kif 14944-14944
(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 1454-1454
(subclass Conotoxin BodySubstance) WMD.kif 1469-1469
(subclass Tetrodotoxin BodySubstance) WMD.kif 1478-1478
(subclass Excrement BodySubstance) Mid-level-ontology.kif 2525-2525
(subclass Rubber BodySubstance) Mid-level-ontology.kif 10510-10510
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 12180-12180
(subclass Bile BodySubstance) Mid-level-ontology.kif 13323-13323
(subclass Saliva BodySubstance) Mid-level-ontology.kif 13644-13644
(subclass Mucus BodySubstance) Mid-level-ontology.kif 13659-13659
(subclass Neurotransmitter BodySubstance) Mid-level-ontology.kif 13675-13675
(subclass AnimalSubstance BodySubstance) Merge.kif 14950-14950
(subclass PlantSubstance BodySubstance) Merge.kif 14961-14961
(subclass Hormone BodySubstance) Merge.kif 14972-14972
(subclass Blood BodySubstance) Merge.kif 14991-14991
(subclass Tissue BodySubstance) Merge.kif 15262-15262
(subclass BloodPlasma BodySubstance) Medicine.kif 1132-1132


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