TreeView Knowledge Base Browser

appearance as argument number 1

(documentation LaundryService EnglishLanguage "LaundryService refers to an agent washing, drying, and (possibly) ironing articles of clothing")	Hotel.kif 1781-1782
(subclass LaundryService ServiceProcess)	Hotel.kif 1780-1780	LaundryService は ServiceProcess の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage LaundryService "laundry service")

Hotel.kif 1783-1783

antecedent

(=>
    (instance ?SVC LaundryService)
    (exists (?CLOTHES ?WASH ?DRY ?IRON)
        (and
            (instance ?CLOTHES Clothing)
            (patient ?SVC ?CLOTHES)
            (subProcess ?WASH ?SVC)
            (instance ?WASH Washing)
            (patient ?WASH ?CLOTHES)
            (result ?WASH
                (attribute ?CLOTHES Clean))
            (subProcess ?DRY ?SVC)
            (instance ?DRY Drying)
            (patient ?DRY ?CLOTHES)
            (instance ?IRON Ironing)
            (subProcess ?IRON ?SVC)
            (patient ?IRON ?CLOTHES)
            (before
                (BeginFn
                    (WhenFn ?WASH))
                (BeginFn
                    (WhenFn ?DRY)))
            (before
                (BeginFn
                    (WhenFn ?DRY))
                (BeginFn
                    (WhenFn ?IRON))))))

Hotel.kif 1785-1802

工程は LaundryService の instance では %n
エンティティー工程, 工程 and 工程エンティティーは衣類の instance では %n エンティティーは工程の patient では %n 工程は工程% の subprocess では %n 工程は Washing の instance では %n エンティティーは工程の patient では %n Clean はエンティティーの attribute では %n は工程の result では %n 工程は工程% の subprocess では %n 工程は乾燥の instance では %n エンティティーは工程の patient では %n 工程は Ironing の instance では %n 工程は工程% の subprocess では %n エンティティーは工程の patient では %n 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない} 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない}

consequent

(=>
    (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 1827-1848

工程は ValetLaundryService の instance では %n
人［人間］ AutonomousAgent, TemporaryResidence, エンティティー, 工程, 工程 and 工程 customer 人［人間］ and AutonomousAgent stays 人［人間］ and TemporaryResidence AutonomousAgent は工程の agent では %n エンティティーは衣類の instance では %n 工程は取得の instance では %n 工程は TemporaryResidence に located して %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n 工程は LaundryService の instance では %n 工程は DryCleaningService の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の patient では %n 工程は DeliveryService の instance では %n エンティティーは工程の patient では %n 工程は TemporaryResidence に ends %n{ない} 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない} 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない}

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

Show without tree

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: