WakeUpService - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WakeUpService EnglishLanguage "WakeUpService refers to an agent performing some action (like a phone call or knocking on the door) to wake up a person")	Hotel.kif 2001-2002
(subclass WakeUpService ServiceProcess)	Hotel.kif 2000-2000	Wake-up service is a subclass of service

appearance as argument number 2

(termFormat EnglishLanguage WakeUpService "wake-up service")

Hotel.kif 2003-2003

antecedent

(=>
    (instance ?SVC WakeUpService)
    (hasPurpose ?SVC
        (exists (?WAKE ?CUST ?AGENT ?PROC)
            (and
                (agent ?SVC ?AGENT)
                (experiencer ?SVC ?CUST)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?AGENT)
                (experiencer ?PROC ?CUST)
                (instance ?WAKE WakingUp)
                (experiencer ?WAKE ?CUST)
                (result ?PROC ?WAKE)))))

Hotel.kif 2005-2017

If a physical is an instance of wake-up service,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an agent of the physical and the other entity experiences the physical and the fourth entity is an instance of intentional process and the third entity is an agent of the fourth entity and the other entity experiences the fourth entity and the entity is an instance of waking up and the other entity experiences the entity and the entity is a result of the fourth entity

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: