TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage checkInTime "check-in time")	Hotel.kif 666-666
(format EnglishLanguage checkInTime "%1 allows checkins after %2")	domainEnglishFormat.kif 2972-2972
(format ChineseTraditionalLanguage checkInTime "%1 允許在 %2 之後的 checkins ")	domainEnglishFormat.kif 2973-2973
(format ChineseLanguage checkInTime "%1 允许在 %2 之后的 checkins ")	domainEnglishFormat.kif 2974-2974

antecedent

(=>
    (checkInTime ?HOTEL ?TIME)
    (modalAttribute
        (exists (?T ?C)
            (and
                (instance ?T ?TIME)
                (instance ?C CheckInService)
                (agent ?C ?HOTEL)
                (before
                    (BeginFn
                        (WhenFn ?C)) ?T))) Unlikely))

Hotel.kif 671-679

If X allows checkins after Y, then the statement there exist Z, W such that Z is an instance of Y, W is an instance of check-in service, X is an agent of W, and the beginning of the time of existence of W happens before Z has the modal force of unlikely

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

KB Term:			Term intersection

English Word: