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

Formal Language: 



KB Term:  Term intersection
English Word: 

  checkInTime

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 O argumento numero 1 de checkInTime e' uma instancia de Organizacao
(domainSubclass checkInTime 2 TimePoint) Hotel.kif 665-665 O argumento numero 2 de checkInTime e' uma sub-classe de Ponto no tempo
(instance checkInTime BinaryPredicate) Hotel.kif 659-659 checkInTime e' uma instancia de Predicado Binario

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