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

Formal Language: 



KB Term:  Term intersection
English Word: 

  roomStay

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 2705-2707
(domain roomStay 1 HotelPackage) Hotel.kif 2710-2710 The number 1 argument of room stay is an instance of hotel package
(domain roomStay 2 Integer) Hotel.kif 2711-2711 The number 2 argument of room stay is an instance of integer
(domainSubclass roomStay 3 HotelUnit) Hotel.kif 2712-2712 The number 3 argument of room stay is a subclass of hotel unit
(instance roomStay TernaryPredicate) Hotel.kif 2704-2704 room stay is an instance of ternary predicate

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


(format ChineseLanguage roomStay "%1 指定 %2 天数 stay 在 %3 ") domainEnglishFormat.kif 4459-4459
(format ChineseTraditionalLanguage roomStay "%1 指定 %2 天數 stay 在 %3 ") domainEnglishFormat.kif 4458-4458
(format EnglishLanguage roomStay "%1 specifies %2 days stay at %3") domainEnglishFormat.kif 4457-4457
(termFormat EnglishLanguage roomStay "room stay") Hotel.kif 2708-2708

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 2714-2726

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


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


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