FoodPickup - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FoodPickup EnglishLanguage "FoodPickup is a type of CateringService where the customer has to pick up the food from the agent's location with the intent of eating it somewhere else.")	Dining.kif 605-607
(subclass FoodPickup CateringService)	Dining.kif 604-604	Food pickup is a subclass of catering

appearance as argument number 2

(subclass DriveThru FoodPickup)	Dining.kif 629-629	Drive-thru is a subclass of food pickup
(termFormat EnglishLanguage FoodPickup "food pickup")	Dining.kif 608-608	Drive-thru is a subclass of food pickup

antecedent

(=>
    (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 a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process,
then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: