Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - stays
stays

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


(disjointRelation stays home) Merge.kif 13240-13240 disjointRelation stays and home
(documentation stays ChineseLanguage "这是 Human 和e HumanTemporaryResidence 之间 的关系。") chinese_format.kif 3377-3378
(documentation stays EnglishLanguage "The relation between a Human and a TemporaryResidence of the Human.") Merge.kif 13243-13244
(domain stays 1 Human) Merge.kif 13241-13241 domain stays, 1 and Human
(domain stays 2 TemporaryResidence) Merge.kif 13242-13242 domain stays, 2 and TemporaryResidence
(instance stays BinaryPredicate) Merge.kif 13239-13239 instance stays and BinaryPredicate
(subrelation stays inhabits) Merge.kif 13238-13238 subrelation stays and inhabits

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


(format ChineseLanguage stays "%1 stays 在 %2 ") domainEnglishFormat.kif 4643-4643
(format ChineseTraditionalLanguage stays "%1 stays 在 %2 ") domainEnglishFormat.kif 4642-4642
(format EnglishLanguage stays "%1 stays at %2") domainEnglishFormat.kif 4641-4641
(termFormat ChineseLanguage stays "停留") domainEnglishFormat.kif 55147-55147 termFormat ChineseLanguage, stays and "停留"
(termFormat ChineseTraditionalLanguage stays "停留") domainEnglishFormat.kif 55146-55146 termFormat ChineseTraditionalLanguage, stays and "停留"
(termFormat EnglishLanguage stays "stays") domainEnglishFormat.kif 55145-55145 termFormat EnglishLanguage, stays and "stays"

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


(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 334-349
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 351-365
(=>
    (and
        (guest ?CUST ?HOTEL)
        (stays ?CUST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?R ?ROOM)
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (exists (?O)
        (and
            (instance ?O ?OBJ)
            (located ?O ?R)
            (confersRight
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308

consequent
-------------------------


(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (stays ?GUEST ?ROOM)
                (equal ?STAY
                    (WhenFn
                        (stays ?GUEST ?ROOM)))
                (holdsDuring ?STAY
                    (forall (?DAY)
                        (=>
                            (and
                                (instance ?DAY Day)
                                (during ?DAY ?STAY))
                            (exists (?RC)
                                (and
                                    (instance ?RC RoomCleaningService)
                                    (patient ?RC ?ROOM)
                                    (during ?RC ?DAY)))))))) Likely))
Hotel.kif 2600-2620
(=>
    (and
        (instance ?POLICY NoHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY)
        (attribute ?AGENT TravelerAccommodation))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (holdsDuring
                    (WhenFn
                        (stays ?GUEST ?ROOM))
                    (not
                        (exists (?CLEAN)
                            (and
                                (instance ?CLEAN RoomCleaningService)
                                (patient ?CLEAN ?ROOM))))))) Likely))
Hotel.kif 2627-2643
(=>
    (and
        (instance ?POLICY WithHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY)
        (attribute ?AGENT TravelerAccommodation))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (holdsDuring
                    (WhenFn
                        (stays ?GUEST ?ROOM))
                    (exists (?CLEAN)
                        (and
                            (instance ?CLEAN RoomCleaningService)
                            (patient ?CLEAN ?ROOM)))))) Likely))
Hotel.kif 2650-2665
(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))
Hotel.kif 455-466
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (instance ?O ?OBJ)
            (located ?O ?R)
            (instance ?P Process)
            (agent ?P ?GUEST)
            (or
                (located ?P ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 374-394
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (patient ?P ?GUEST)
            (or
                (instance ?P ?PROC)
                (and
                    (instance ?S ?PROC)
                    (subProcess ?P ?S)))
            (located ?P ?R))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 396-414
(=>
    (and
        (reservedRoom ?RESERVE ?ROOMTYPE)
        (reservationStart ?RESERVE ?TIME1)
        (reservationEnd ?RESERVE ?TIME2)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (and
                (instance ?X ?ROOMTYPE)
                (stays ?CUST ?X))) Likely))
Hotel.kif 2893-2904
(=>
    (attribute ?X ChildrenSuite)
    (hasPurpose ?X
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (stays ?CHILD ?X)))))
Hotel.kif 986-992
(=>
    (attribute ?X ExclusiveFemaleLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN Female)
                        (stays ?HUMAN ?Y)))))))
Hotel.kif 1194-1205
(=>
    (attribute ?X ExecutiveLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN BusinessExecutive)
                        (instance ?HUMAN Human)
                        (stays ?HUMAN ?Y)))))))
Hotel.kif 1175-1187
(=>
    (attribute ?X FemaleExecutiveRoom)
    (hasPurpose ?X
        (exists (?HUMAN)
            (and
                (instance ?HUMAN Human)
                (attribute ?HUMAN Female)
                (attribute ?HUMAN BusinessExecutive)
                (stays ?HUMAN ?X)))))
Hotel.kif 999-1007
(=>
    (instance ?SVC ExecutiveService)
    (exists (?HUMAN ?LEVEL ?ROOM)
        (and
            (serviceRecipient ?SVC ?HUMAN)
            (stays ?HUMAN ?ROOM)
            (located ?ROOM ?LEVEL)
            (attribute ?LEVEL ExecutiveLevel))))
Hotel.kif 2191-2198
(=>
    (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 1775-1796


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners