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

Formal Language: 



Term 1: Term 2:

(subclass BodySubstance Substance) Merge.kif 14806-14806
(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 2062-2062
(subclass Rubber BodySubstance) Mid-level-ontology.kif 9181-9181
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 10849-10849
(subclass Bile BodySubstance) Mid-level-ontology.kif 11992-11992
(subclass Saliva BodySubstance) Mid-level-ontology.kif 12313-12313
(subclass Mucus BodySubstance) Mid-level-ontology.kif 12328-12328
(subclass Neurotransmitter BodySubstance) Mid-level-ontology.kif 12344-12344
(subclass AnimalSubstance BodySubstance) Merge.kif 14812-14812
(subclass PlantSubstance BodySubstance) Merge.kif 14823-14823
(subclass Hormone BodySubstance) Merge.kif 14834-14834
(subclass Blood BodySubstance) Merge.kif 14853-14853
(subclass Tissue BodySubstance) Merge.kif 15124-15124
(subclass BloodPlasma BodySubstance) Medicine.kif 1140-1140


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