SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Food
Next ObjectSelfConnectedObject    UpObject    Previous ObjectContentBearingObject   

Food
subjectfact 
Fooddocumentation Any Object containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a living Organism and metabolized into energy and body tissue2001-11-30 13:34:17.0
has axiom
(=>
(instance ?FOOD Food)
(exists (?NUTRIENT)
(and
(instance ?NUTRIENT Nutrient)
(part ?NUTRIENT ?FOOD))))
2001-11-30 13:34:17.0
has axiom
(=>
(and
(instance ?ACT Ingesting)
(patient ?ACT ?FOOD))
(instance ?FOOD Food))
2001-11-30 13:34:17.0
has axiom
(=>
(instance ?FOOD Food)
(forall (?PART1)
(=>
(part ?PART1 ?FOOD)
(exists (?PART2 ?ORGANISM)
(and
(part ?PART1 ?PART2)
(part ?PART2 ?ORGANISM)
(instance ?ORGANISM Organism))))))
2001-11-30 13:34:17.0
has axiom
(=>
(instance ?OBJ Food)
(exists (?ATTR)
(and
(instance ?ATTR TasteProperty)
(attribute ?OBJ ?ATTR))))
2001-11-30 13:34:17.0
is a kind of Object2001-11-30 13:34:17.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is first domain of attribute2001-11-30 13:34:50.0
is first domain of between2001-11-30 13:34:50.0
is first domain of connected2001-11-30 13:34:50.0
is first domain of connects2001-11-30 13:34:50.0
is first domain of copy2001-11-30 13:34:50.0
is first domain of exploits2001-11-30 13:34:50.0
is first domain of fills2001-11-30 13:34:50.0
is first domain of larger2001-11-30 13:34:50.0
is first domain of measure2001-11-30 13:34:50.0
is first domain of MereologicalDifferenceFn2001-11-30 13:34:50.0
is first domain of MereologicalProductFn2001-11-30 13:34:50.0
is first domain of MereologicalSumFn2001-11-30 13:34:50.0
is first domain of orientation2001-11-30 13:34:50.0
is first domain of partiallyFills2001-11-30 13:34:50.0
is first domain of partlyLocated2001-11-30 13:34:50.0
is first domain of position2001-11-30 13:34:50.0
is first domain of properlyFills2001-11-30 13:34:50.0
is first domain of smaller2001-11-30 13:34:50.0
is first domain of uses2001-11-30 13:34:50.0
is second domain of between2001-11-30 13:34:50.0
is second domain of connected2001-11-30 13:34:50.0
is second domain of connects2001-11-30 13:34:50.0
is second domain of copy2001-11-30 13:34:50.0
is second domain of effector2001-11-30 13:34:50.0
is second domain of hole2001-11-30 13:34:50.0
is second domain of inhabits2001-11-30 13:34:50.0
is second domain of instrument2001-11-30 13:34:50.0
is second domain of larger2001-11-30 13:34:50.0
is second domain of located2001-11-30 13:34:51.0
is second domain of MereologicalDifferenceFn2001-11-30 13:34:51.0
is second domain of MereologicalProductFn2001-11-30 13:34:51.0
is second domain of MereologicalSumFn2001-11-30 13:34:51.0
is second domain of needs2001-11-30 13:34:51.0
is second domain of orientation2001-11-30 13:34:51.0
is second domain of origin2001-11-30 13:34:51.0
is second domain of position2001-11-30 13:34:51.0
is second domain of possesses2001-11-30 13:34:51.0
is second domain of resource2001-11-30 13:34:51.0
is second domain of result2001-11-30 13:34:51.0
is second domain of smaller2001-11-30 13:34:51.0
is second domain of wants2001-11-30 13:34:51.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Next ObjectSelfConnectedObject    UpObject    Previous ObjectContentBearingObject