accommodationProvider - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - accommodationProvider

accommodationProvider

appearance as argument number 1

(documentation accommodationProvider EnglishLanguage "(accommodationProvider ?PKG ?ORG) means that ?ORG, which is a TravelerAccommodation business, will provide the accommodations for the HotelPackage ?PKG")	Hotel.kif 2771-2773
(domain accommodationProvider 1 HotelPackage)	Hotel.kif 2776-2776	The number 1 argument of accommodations provider is an instance of hotel package
(domain accommodationProvider 2 Organization)	Hotel.kif 2777-2777	The number 2 argument of accommodations provider is an instance of organization
(instance accommodationProvider BinaryPredicate)	Hotel.kif 2770-2770	accommodations provider is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage accommodationProvider "%2 provides %1 ")	domainEnglishFormat.kif 2666-2666
(format ChineseTraditionalLanguage accommodationProvider "%2 provides %1 ")	domainEnglishFormat.kif 2665-2665
(format EnglishLanguage accommodationProvider "%2 provides %1")	domainEnglishFormat.kif 2664-2664
(termFormat EnglishLanguage accommodationProvider "accommodations provider")	Hotel.kif 2774-2774

antecedent

(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2779-2781	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
(=> (and (propositionOwner ?AGENT ?HP) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (instance ?R ?ROOM) (element ?R (PropertyFn ?HOTEL)) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL)))))	Hotel.kif 2755-2768	If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent, then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position

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