TreeView Knowledge Base Browser

appearance as argument number 1

(documentation checkInTime EnglishLanguage "(checkInTime ?HOTEL ?TIME) means that TravelerAccomodation ?HOTEL only starts CheckInService after ?TIME")	Hotel.kif 664-665
(domain checkInTime 1 Organization)	Hotel.kif 668-668
(domainSubclass checkInTime 2 TimePoint)	Hotel.kif 669-669
(instance checkInTime BinaryPredicate)	Hotel.kif 663-663

appearance as argument number 2

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

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

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

KB Term:			Term intersection

English Word: