shi2 wu4 (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)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

shi2 wu4

Subclass(es)

rou4 shu1 guo3 yin3 liao4

Coordinate term(s)

na4 rong2 zai4 ti3 fu4 za2 ti1/fei1 dan1 zhi4 ti1 wu4 zhi4

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 shi4 she4 shi2 de5 shi2 li4 and food shi4 act de5 shou4 shi4 zhe3, then food shi4 shi2 wu4 de5 shi2 li4.

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

If cook shi4 peng1 ren4 de5 shi2 li4, then there exists shi2 wu4 food so_that_not food shi4 cook de5 jie2 guo3.

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

shi2 wu4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 rou4,shu1 guo3,yin3 liao4.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

If food shi4 shi2 wu4 de5 shi2 li4, then there exists yang3 fen4 nutrient so_that_not nutrient shi4 food de5 bu4 fen5).

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

if food shi4 shi2 wu4 de5 shi2 li4,
then for all part1 holds: if part1 shi4 food de5 bu4 fen5), then there exist part2,dong4 wu4 animal so_that_not part1 shi4 part2 de5 bu4 fen5) and part2 shi4 animal de5 bu4 fen5)

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

If obj shi4 shi2 wu4 de5 shi2 li4, then there exists wei4 jiao4 shu3 xing4 attr so_that_not attr shi4 obj de5 shu3 xing4.

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