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

Formal Language: 



Term 1: Term 2:

(subclass Cheese DairyArtifact) Food.kif 3258-3258 Cheese is a subclass of dairy product
(subclass Cheese Gel) Food.kif 3259-3259 Cheese is a subclass of gel
(subclass FreshCheese Cheese) Food.kif 3265-3265 Fresh cheese is a subclass of cheese
(subclass SoftRipenedCheese Cheese) Food.kif 3270-3270 Soft ripened cheese is a subclass of cheese
(subclass SemiFirmCheese Cheese) Food.kif 3275-3275 Semi firm cheese is a subclass of cheese
(subclass FirmCheese Cheese) Food.kif 3280-3280 Firm cheese is a subclass of cheese
(subclass BlueCheese Cheese) Food.kif 3286-3286 Blue cheese is a subclass of cheese


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