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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Synagogue

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 The number 1 argument of check-in time is an instance of organization
(domainSubclass checkInTime 2 TimePoint) Hotel.kif 665-665 The number 2 argument of check-in time is a subclass of time point
(instance checkInTime BinaryPredicate) Hotel.kif 659-659 check-in time is an instance of binary predicate

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)

Show without tree


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