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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 Le nombre 1 argument de checkInTime est une instance de organisation
(domainSubclass checkInTime 2 TimePoint) Hotel.kif 665-665 Le nombre 2 argument de checkInTime est une sous-classe de point temporel
(instance checkInTime BinaryPredicate) Hotel.kif 659-659 checkInTime est une instance de pr�dicat binaire

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


    (checkInTime ?HOTEL ?TIME)
        (exists (?T ?C)
                (instance ?T ?TIME)
                (instance ?C CheckInService)
                (agent ?C ?HOTEL)
                        (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