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

Formal Language: 



Term 1: Term 2:

(subclass BreadOrBiscuit PreparedFood) Food.kif 1555-1555 面包或饼干 是 已准备食物 的 subclass
(subclass Bagel BreadOrBiscuit) Food.kif 2143-2143 Bagel 是 面包或饼干 的 subclass
(subclass Pancake BreadOrBiscuit) Food.kif 2715-2715 Pancake 是 面包或饼干 的 subclass


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