(=>     (instance ?X Meal)     (forall (?ITEM)         (=>             (member ?ITEM ?X)             (instance ?ITEM                 (FoodForFn Human)))))	Food.kif 1680-1685	如果 群体 是 Meal 的 instance， 然后 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 food for 人类 的 instance
(=>     (instance ?X PreparedFood)     (instance ?X         (FoodForFn Human)))	Food.kif 315-317	如果 实体 是 已准备食物 的 instance， 然后 那个 实体 是 food for 人类 的 instance
(=>     (subclass ?W DrinkingWater)     (subclass ?W         (FoodForFn Human)))	Geography.kif 2815-2818	如果 类 是 饮用水 的 subclass， 然后 那个 类 是 food for 人类 的 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