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

Formal Language: 



Term 1: Term 2:

(subclass BodySubstance Substance) Merge.kif 14828-14828
(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 9180-9180
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 10848-10848
(subclass Bile BodySubstance) Mid-level-ontology.kif 11991-11991
(subclass Saliva BodySubstance) Mid-level-ontology.kif 12312-12312
(subclass Mucus BodySubstance) Mid-level-ontology.kif 12327-12327
(subclass Neurotransmitter BodySubstance) Mid-level-ontology.kif 12343-12343
(subclass AnimalSubstance BodySubstance) Merge.kif 14834-14834
(subclass PlantSubstance BodySubstance) Merge.kif 14845-14845
(subclass Hormone BodySubstance) Merge.kif 14856-14856
(subclass Blood BodySubstance) Merge.kif 14875-14875
(subclass Tissue BodySubstance) Merge.kif 15146-15146
(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