TreeView Knowledge Base Browser

appearance as argument number 1

(documentation checkOutTime EnglishLanguage "(checkOutTime ?HOTEL ?TIME) means that TravelerAccommodation ?HOTEL expects guests to CheckOutService before ?TIME")	Hotel.kif 647-648
(domain checkOutTime 1 CognitiveAgent)	Hotel.kif 650-650	checkOutTime 的 1 数量是有认知的主事的 instance
(domain checkOutTime 2 TimePoint)	Hotel.kif 651-651	checkOutTime 的 2 数量是时点的 instance
(instance checkOutTime BinaryPredicate)	Hotel.kif 646-646	checkOutTime 是二元谓语的 instance

appearance as argument number 2

(format EnglishLanguage checkOutTime "one must check out before %2 at %1")	domainEnglishFormat.kif 756-756
(termFormat EnglishLanguage checkOutTime "check-out time")	Hotel.kif 649-649	termFormat EnglishLanguage, checkOutTime and "check-out time"

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 653-664

如果 checkOutTime 有认知的主事 and 时点和 guest 另一个有认知的主事 and 那个有认知的主事，
然后 expects 那个有认知的主事 and 有存在实体和另一个实体这样那个实体是那个时点的 instance 和那个另外有认知的主事是那个另外实体的 patient 和那个另外实体是 CheckOutService 的 instance 和那个有认知的主事是那个另外实体的 agent 和那个另外实体出现的 time 的开始%n在那个实体 before发生

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

KB Term:			Term intersection

English Word: