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 682-683
(domain checkOutTime 1 CognitiveAgent)	Hotel.kif 685-685	checkOutTime 的 1 数量是有认知的主事的 instance
(domain checkOutTime 2 TimePoint)	Hotel.kif 686-686	checkOutTime 的 2 数量是时点的 instance
(instance checkOutTime BinaryPredicate)	Hotel.kif 681-681	checkOutTime 是二元谓语的 instance

appearance as argument number 2

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

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

如果其必須在时点之前在有认知的主事 check out 和另一个有认知的主事是在那个有认知的主事的 guest ，
然后那个有认知的主事 expects 有存在实体和另一个实体这样那个实体是那个时点的 instance 和那个另外有认知的主事是那个另外实体的 patient 和那个另外实体是 CheckOutService 的 instance 和那个有认知的主事是那个另外实体的 agent 和那个另外实体出现的 time 的开始在那个实体 before发生会是事实

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

KB Term:			Term intersection

English Word: