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

Formal Language: 



Term 1: Term 2:

(subclass Carbohydrate Nutrient) Merge.kif 14744-14744 Carbohydrate is a subclass of nutrient
(subclass Carbohydrate CompoundSubstance) Merge.kif 14745-14745 Carbohydrate is a subclass of compound substance
(subclass Cellulose Carbohydrate) Mid-level-ontology.kif 9247-9247 Cellulose is a subclass of carbohydrate
(subclass Starch Carbohydrate) Mid-level-ontology.kif 9250-9250 Starch is a subclass of carbohydrate
(subclass Sugar Carbohydrate) Mid-level-ontology.kif 9254-9254 Sugar is a subclass of carbohydrate


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