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

Formal Language: 



Term 1: Term 2:

(subclass SemiFirmCheese Cheese) Food.kif 3275-3275 子類 SemiFirmCheese and 起司
(subclass CheddarCheese SemiFirmCheese) Food.kif 3291-3291 子類 CheddarCheese and SemiFirmCheese
(subclass Gouda SemiFirmCheese) Food.kif 3306-3306 子類 Gouda and SemiFirmCheese
(subclass Provolone SemiFirmCheese) Food.kif 3312-3312 子類 Provolone and SemiFirmCheese


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