Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ValetLaundryService
ValetLaundryService(valet laundry)laundry_truck

appearance as argument number 1
-------------------------


(subclass ValetLaundryService LaundryService) Hotel.kif 1838-1838 Valet laundry is a subclass of laundry service
(documentation ValetLaundryService EnglishLanguage "ValetLaundryService refers to an agent picking up clothing, performing LaundryService, and then delivering it back to customer") Hotel.kif 1839-1841 Valet laundry is a subclass of laundry service

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ValetLaundryService "valet laundry") Hotel.kif 1842-1842

antecedent
-------------------------


(=>
    (instance ?SVC ValetLaundryService)
    (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
        (and
            (customer ?CUST ?AGENT)
            (stays ?CUST ?LOC)
            (agent ?SVC ?AGENT)
            (instance ?CLOTHES Clothing)
            (instance ?PICKUP Getting)
            (located ?PICKUP ?LOC)
            (patient ?PICKUP ?CLOTHES)
            (agent ?PICKUP ?AGENT)
            (or
                (instance ?LAUNDRY LaundryService)
                (instance ?LAUNDRY DryCleaningService))
            (agent ?LAUNDRY ?AGENT)
            (patient ?LAUNDRY ?CLOTHES)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?CLOTHES)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?PICKUP))
                (BeginFn
                    (WhenFn ?LAUNDRY)))
            (before
                (BeginFn
                    (WhenFn ?LAUNDRY))
                (BeginFn
                    (WhenFn ?DELIVERY))))))		 Hotel.kif 1844-1865 If X is an instance of valet laundry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Z is a customer of Y (3) Y stays at W (4) Z is an agent of X (5) V is an instance of clothing (6) T is an instance of getting (7) T is located at W (8) V is a patient of T (9) Z is an agent of T (10) U is an instance of laundry service or U is an instance of dry-clean (11) Z is an agent of U (12) V is a patient of U (13) S is an instance of delivery service (14) V is a patient of S (15) S ends up at W (16) the beginning of the time of existence of T happens before the beginning of the time of existence of U (17) the beginning of the time of existence of U happens before the beginning of the time of existence of S


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners