checkOutTime - Sigma Knowledge base Browser

appearance as argument number 1

(documentation checkOutTime EnglishLanguage "(checkOutTime ?HOTEL ?TIME) means that TravelerAccommodation ?HOTEL expects guests to CheckOutService before ?TIME")	Hotel.kif 678-679
(domain checkOutTime 1 CognitiveAgent)	Hotel.kif 681-681	The number 1 argument of check-out time is an instance of cognitive agent
(domain checkOutTime 2 TimePoint)	Hotel.kif 682-682	The number 2 argument of check-out time is an instance of time point
(instance checkOutTime BinaryPredicate)	Hotel.kif 677-677	check-out time is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage checkOutTime "其必須在 %2 之前在 %1 check out ")	domainEnglishFormat.kif 2982-2982
(format ChineseTraditionalLanguage checkOutTime "其必須在 %2 之前在 %1 check out ")	domainEnglishFormat.kif 2981-2981
(format EnglishLanguage checkOutTime "one must check out before %2 at %1")	domainEnglishFormat.kif 2980-2980
(termFormat EnglishLanguage checkOutTime "check-out time")	Hotel.kif 680-680

antecedent

(=>
    (and
        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
            (and
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                (before
                    (BeginFn
                        (WhenFn ?C)) ?T)))))

Hotel.kif 684-695

If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent,
then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true

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

KB Term:			Term intersection

English Word: