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 660-661
(domain checkInTime 1 Organization)	Hotel.kif 664-664
(domainSubclass checkInTime 2 TimePoint)	Hotel.kif 665-665
(instance checkInTime BinaryPredicate)	Hotel.kif 659-659

appearance as argument number 2

(format ChineseLanguage checkInTime "%1 允许在 %2 之后的 checkins ")	domainEnglishFormat.kif 2978-2978
(format ChineseTraditionalLanguage checkInTime "%1 允許在 %2 之後的 checkins ")	domainEnglishFormat.kif 2977-2977
(format EnglishLanguage checkInTime "%1 allows checkins after %2")	domainEnglishFormat.kif 2976-2976
(termFormat EnglishLanguage checkInTime "check-in time")	Hotel.kif 662-662

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 667-675

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

KB Term:			Term intersection

English Word: