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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - checkOutTime

appearance as argument number 1

(documentation checkOutTime EnglishLanguage "(checkOutTime ?HOTEL ?TIME) means that TravelerAccommodation ?HOTEL expects guests to CheckOutService before ?TIME") Hotel.kif 647-648
(domain checkOutTime 1 CognitiveAgent) Hotel.kif 650-650 checkOutTime 的 1 数量 是 有认知的主事instance
(domain checkOutTime 2 TimePoint) Hotel.kif 651-651 checkOutTime 的 2 数量 是 时点instance
(instance checkOutTime BinaryPredicate) Hotel.kif 646-646 checkOutTime二元谓语instance

appearance as argument number 2

(format EnglishLanguage checkOutTime "one must check out before %2 at %1") domainEnglishFormat.kif 756-756
(termFormat EnglishLanguage checkOutTime "check-out time") Hotel.kif 649-649 termFormat EnglishLanguage, checkOutTime and "check-out time"


        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                        (WhenFn ?C)) ?T)))))
Hotel.kif 653-664

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners