TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage checkOutTime "check-out time")	Hotel.kif 684-684
(format EnglishLanguage checkOutTime "one must check out before %2 at %1")	domainEnglishFormat.kif 2980-2980
(format ChineseTraditionalLanguage checkOutTime "其必須在 %2 之前在 %1 check out ")	domainEnglishFormat.kif 2981-2981
(format ChineseLanguage checkOutTime "其必須在 %2 之前在 %1 check out ")	domainEnglishFormat.kif 2982-2982

antecedent

(=>
    (and
        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
            (and
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                (before
                    (BeginFn
                        (WhenFn ?C)) ?T)))))

Hotel.kif 688-699

If one must check out before X at Y and Z is a guest at Y, then Y expects there exist W, V such that W is an instance of X, Z is a patient of V, V is an instance of check-out service, Y is an agent of V, and the beginning of the time of existence of V happens before W will be true

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: