Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - roomStay
roomStay

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


(instance roomStay TernaryPredicate) Hotel.kif 2749-2749 room stay is an instance of ternary predicate
(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 2750-2752 room stay is an instance of ternary predicate
(domain roomStay 1 HotelPackage) Hotel.kif 2755-2755 The number 1 argument of room stay is an instance of hotel package
(domain roomStay 2 Integer) Hotel.kif 2756-2756 The number 2 argument of room stay is an instance of integer
(domainSubclass roomStay 3 HotelUnit) Hotel.kif 2757-2757 The number 3 argument of room stay is a subclass of hotel unit

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


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

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


(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))		 Hotel.kif 2762-2775 If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S

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


(=>
    (instance ?X HotelPackage)
    (exists (?UNIT ?INT)
        (roomStay ?X ?INT ?UNIT)))		 Hotel.kif 2818-2821 If X is an instance of hotel package, then there exist Y and Z such that X specifies Z days stay at Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners