(=>
(instance ?COOK Cooking)
(exists (?FOOD)
(and
(instance ?FOOD
(FoodForFn Human))
(result ?COOK ?FOOD)))) |
Merge.kif 13157-13162 |
If X is an instance of cooking, then there exists Y such that Y is an instance of food for human and Y is a result of X |
(=>
(instance ?X PreparedFood)
(instance ?X
(FoodForFn Human))) |
Mid-level-ontology.kif 2568-2570 |
If X is an instance of food, then X is an instance of food for human |
(=>
(and
(instance ?V Vending)
(objectTransferred ?V ?O)
(not
(instance ?O Currency)))
(modalAttribute
(or
(instance ?O
(FoodForFn Human))
(instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 2585-2594 |
If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
(=>
(instance ?D Dish)
(hasPurpose ?D
(exists (?F ?E)
(and
(instance ?E Eating)
(patient ?E ?F)
(patient ?E ?D)
(instance ?F
(FoodForFn Animal))
(located ?F ?D))))) |
Mid-level-ontology.kif 5044-5053 |
If X is an instance of dish, then X has the purpose there exist Y, Z such that Z is an instance of eating, Y is a patient of Z, X is a patient of Z, Y is an instance of food for animal, and Y is located at X |
(=>
(instance ?C Restaurant)
(exists (?S ?F ?B)
(and
(instance ?S CommercialService)
(agent ?S ?C)
(instance ?S Selling)
(instance ?B RestaurantBuilding)
(eventLocated ?S ?B)
(patient ?S ?F)
(instance ?F
(FoodForFn Human))))) |
Mid-level-ontology.kif 8578-8588 |
If X is an instance of restaurant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of commercial service (3) X is an agent of Y (4) Y is an instance of selling (5) W is an instance of restaurant building (6) Y is located at W (7) Z is a patient of Y (8) Z is an instance of food for human |
(=>
(instance ?STORE GroceryStore)
(exists (?SELL ?FOOD)
(and
(instance ?SELL Selling)
(agent ?SELL ?STORE)
(patient ?SELL ?FOOD)
(instance ?FOOD
(FoodForFn Animal))))) |
Mid-level-ontology.kif 9139-9146 |
If X is an instance of grocery store, then there exist Y, Z such that Y is an instance of selling, X is an agent of Y, Z is a patient of Y, and Z is an instance of food for animal |
(=>
(and
(instance ?ACT Ingesting)
(resource ?ACT ?F))
(or
(instance ?F
(FoodForFn Organism))
(instance ?F Medicine))) |
Mid-level-ontology.kif 10743-10749 |
If X is an instance of ingesting and Y is a resource for X, then Y is an instance of food for organism or Y is an instance of medicine |
(=>
(and
(instance ?CHEW Chewing)
(resource ?CHEW ?FOOD))
(instance ?FOOD
(FoodForFn Organism))) |
Mid-level-ontology.kif 13054-13058 |
If X is an instance of chewing and Y is a resource for X, then Y is an instance of food for organism |
(=>
(and
(instance ?F Feeding)
(patient ?F ?O))
(instance ?O
(FoodForFn Animal))) |
Mid-level-ontology.kif 13076-13080 |
If X is an instance of feeding and Y is a patient of X, then Y is an instance of food for animal |
(=>
(attribute ?X Fodder)
(hasPurpose ?X
(exists (?H)
(and
(instance ?H Harvesting)
(result ?H ?X)
(instance ?X OrganicObject)
(instance ?X
(FoodForFn DomesticAnimal)))))) |
Mid-level-ontology.kif 22256-22265 |
If fodder is an attribute of X, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, X is an instance of organic object, and X is an instance of food for domestic animal |
(=>
(and
(attribute ?X Waiter)
(instance ?X Human)
(employs ?REST ?X)
(instance ?REST Restaurant)
(customer ?CUST ?REST)
(located ?CUST ?TABLE)
(instance ?TABLE Table))
(exists (?DINING ?C ?FOOD ?KITCHEN)
(and
(possesses ?REST ?KITCHEN)
(instance ?KITCHEN KitchenArea)
(instance ?DINING DiningArea)
(located ?TABLE ?DINING)
(hasPurpose ?X
(and
(instance ?C Carrying)
(agent ?C ?X)
(origin ?C ?KITCHEN)
(destination ?C ?TABLE)
(patient ?C ?FOOD)
(instance ?FOOD
(FoodForFn Human))))))) |
Mid-level-ontology.kif 22843-22865 |
If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human |
(=>
(instance ?BAKERY Bakery)
(exists (?SERVICE ?FOOD ?BAKE)
(and
(instance ?BAKE Baking)
(result ?BAKE ?FOOD)
(instance ?FOOD
(FoodForFn Human))
(agent ?BAKE ?BAKERY)
(instance ?SERVICE CommercialService)
(agent ?SERVICE ?BAKERY)
(instance ?SERVICE Selling)
(patient ?SERVICE ?FOOD)))) |
Dining.kif 70-81 |
If X is an instance of bakery, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of baking (3) Z is a result of W (4) Z is an instance of food for human (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
(=>
(and
(instance ?MENU Menu)
(catalogItem ?X ?MENU))
(subclass ?X
(FoodForFn Human))) |
Dining.kif 178-182 |
If X is an instance of menu and Y is in X, then Y is a subclass of food for human |
(=>
(instance ?X Buffet)
(forall (?ITEM)
(=>
(member ?ITEM ?X)
(instance ?ITEM
(FoodForFn Human))))) |
Dining.kif 260-265 |
If X is an instance of buffet, then For all Physical Y: if Y is a member of X, then Y is an instance of food for human |
(=>
(and
(instance ?P FoodPickup)
(agent ?P ?AGENT)
(destination ?P ?CUST)
(patient ?P ?FOOD))
(and
(instance ?FOOD
(FoodForFn Human))
(exists (?LOC ?T ?G)
(and
(located ?AGENT ?LOC)
(instance ?T Translocation)
(agent ?T ?CUST)
(destination ?T ?LOC)
(instance ?G Getting)
(origin ?G ?AGENT)
(destination ?G ?CUST)
(patient ?G ?FOOD))))) |
Dining.kif 610-627 |
If X is an instance of food pickup, Y is an agent of X, X ends up at Z, and W is a patient of X, then W is an instance of food for human and All of the following hold: (1) there exist V, U (2) T such that Y is located at V (3) U is an instance of translocation (4) Z is an agent of U (5) U ends up at V (6) T is an instance of getting (7) T originates at Y (8) T ends up at Z (9) W is a patient of T |
(=>
(instance ?X
(DeadFn CerealGrain))
(exists (?CLASS)
(and
(instance ?X ?CLASS)
(equal ?CLASS
(FoodForFn Animal))))) |
Economy.kif 4367-4372 |
If X is an instance of a dead cereal grain, then there exists Y such that X is an instance of Y, equal Y, and food for animal |
(=>
(and
(attribute ?X Produce)
(instance ?X FruitOrVegetable))
(hasPurpose ?X
(exists (?H)
(and
(instance ?H Harvesting)
(result ?H ?X)
(instance ?X
(FoodForFn Human)))))) |
Economy.kif 4527-4536 |
If produce is an attribute of X and X is an instance of fruit or vegetable, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, and X is an instance of food for human |
(=>
(attribute ?X ForageCrop)
(hasPurpose ?X
(exists (?A)
(and
(instance ?A Agriculture)
(result ?A ?X)
(instance ?X Plant)
(instance ?X
(FoodForFn DomesticAnimal)))))) |
Economy.kif 5146-5155 |
If forage crop is an attribute of X, then X has the purpose there exists Y such that Y is an instance of agriculture, X is a result of Y, X is an instance of plant, and X is an instance of food for domestic animal |
(=>
(attribute ?FOOD RawAttribute)
(instance ?FOOD
(FoodForFn Organism))) |
Food.kif 51-53 |
If raw food is an attribute of X, then X is an instance of food for organism |
(=>
(instance ?TW TapWater)
(modalAttribute
(instance ?TW
(FoodForFn Human)) Likely)) |
Food.kif 286-290 |
If X is an instance of tap water, then the statement X is an instance of food for human has the modal force of likely |
(=>
(instance ?S Sandwich)
(exists (?B1 ?B2 ?F)
(and
(instance ?B1 BreadOrBiscuit)
(instance ?B2 BreadOrBiscuit)
(instance ?F
(FoodForFn Human))
(between ?B1 ?F ?B2)
(not
(equal ?B1 ?B2))
(not
(equal ?B1 ?F))
(not
(equal ?B2 ?F))
(part ?B1 ?S)
(part ?B2 ?S)
(part ?F ?S)))) |
Food.kif 1569-1582 |
If X is an instance of sandwich, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bread or biscuit (3) Z is an instance of bread or biscuit (4) W is an instance of food for human (5) W is between Y (6) Z (7) equal Y (8) Z (9) equal Y (10) W (11) equal Z (12) W (13) Y is a part of X (14) Z is a part of X (15) W is a part of X |
(=>
(instance ?X Meal)
(forall (?ITEM)
(=>
(member ?ITEM ?X)
(instance ?ITEM
(FoodForFn Human))))) |
Food.kif 1666-1671 |
If X is an instance of meal, then For all Physical Y: if Y is a member of X, then Y is an instance of food for human |
(=>
(subclass ?W DrinkingWater)
(subclass ?W
(FoodForFn Human))) |
Geography.kif 4247-4250 |
If X is a subclass of potable water, then X is a subclass of food for human |
(=>
(instance ?X HotelMiniBar)
(memberType ?X
(FoodForFn Human))) |
Hotel.kif 1734-1736 |
If X is an instance of mini bar, then food for human is a member type of X |
(=>
(instance ?FD FoodDistributionOperation)
(exists (?FOOD ?CA)
(and
(instance ?FOOD
(FoodForFn Animal))
(instance ?CA CognitiveAgent)
(patient ?FD ?FOOD)
(destination ?FD ?CA)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FD))
(possesses ?CA ?FOOD))))) |
Military.kif 62-73 |
If X is an instance of food distribution operation, then there exist Y, Z such that Y is an instance of food for animal, Z is an instance of cognitive agent, Y is a patient of X, X ends up at Z, and Z possesses Y holds during immediately after the time of existence of X |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
