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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - roomStay
roomStay

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


(documentation roomStay EnglishLanguage "(roomStay ?PACKAGE ?QTY ?ROOM) means that the package includes a ?QTY number of days stay at room type ?ROOM at the TravelerAccommodation") Hotel.kif 2678-2680
(domain roomStay 1 HotelPackage) Hotel.kif 2683-2683
(domain roomStay 2 Integer) Hotel.kif 2684-2684
(domainSubclass roomStay 3 HotelUnit) Hotel.kif 2685-2685
(instance roomStay TernaryPredicate) Hotel.kif 2677-2677

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


(format ChineseLanguage roomStay "%1 指定 %2 天数 stay 在 %3 ") domainEnglishFormat.kif 4455-4455
(format ChineseTraditionalLanguage roomStay "%1 指定 %2 天數 stay 在 %3 ") domainEnglishFormat.kif 4454-4454
(format EnglishLanguage roomStay "%1 specifies %2 days stay at %3") domainEnglishFormat.kif 4453-4453
(termFormat EnglishLanguage roomStay "room stay") Hotel.kif 2681-2681

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


(=>
    (and
        (propositionOwner ?HP ?AGENT)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (part ?ROOM ?HOTEL)
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))
Hotel.kif 2687-2699

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


(=>
    (instance ?X HotelPackage)
    (exists (?UNIT ?INT)
        (roomStay ?X ?INT ?UNIT)))
Hotel.kif 2742-2745


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