食物 (Food)

Any SelfConnectedObject containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a living Animal and metabolized into energy and body tissue.

Ontology

SUMO / OBJECTS

Superclass(es)

實體

物質的

物體

自身連續物體

食物

Subclass(es)

肉蔬果飲料

Coordinate term(s)

內容載體複雜體/非單質體物質

Related WordNet synsets

food, nutrient: any substance that can be metabolized by an organism to give energy and build tissue
edibility, edibleness: the property of being fit to eat
comestible, edible, eatable, pabulum, victual, victuals: any substance that can be used as food
edible, comestible, eatable: suitable for use as food

See more related synsets on a separate page.

Axioms (6)

If act 是攝食的實例 and food 是 act 的受事者, then food 是食物的實例.

(=>
      (and
            (instance ?ACT Ingesting)
            (patient ?ACT ?FOOD))
      (instance ?FOOD Food))

If cook 是烹飪的實例, then there exists 食物 food so that food 是 cook 的結果.

(=>
      (instance ?COOK Cooking)
      (exists
            (?FOOD)
            (and
                  (instance ?FOOD Food)
                  (result ?COOK ?FOOD))))

食物無交集地分解成肉,蔬果,飲料.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

If food 是食物的實例, then there exists 養份 nutrient so that nutrient 是 food 的部分).

(=>
      (instance ?FOOD Food)
      (exists
            (?NUTRIENT)
            (and
                  (instance ?NUTRIENT Nutrient)
                  (part ?NUTRIENT ?FOOD))))

if food 是食物的實例,
then for all part1 holds: if part1 是 food 的部分), then there exist part2,動物 animal so that part1 是 part2 的部分) and part2 是 animal 的部分)

(=>
      (instance ?FOOD Food)
      (forall
            (?PART1)
            (=>
                  (part ?PART1 ?FOOD)
                  (exists
                        (?PART2 ?ANIMAL)
                        (and
                              (part ?PART1 ?PART2)
                              (part ?PART2 ?ANIMAL)
                              (instance ?ANIMAL Animal))))))

If obj 是食物的實例, then there exists 味覺屬性 attr so that attr 是 obj 的屬性.

(=>
      (instance ?OBJ Food)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR TasteAttribute)
                  (attribute ?OBJ ?ATTR))))