Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - checkInTime
checkInTime

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners