Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AnimalController

 Sigma KEE - accommodationProvider
accommodationProvider

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (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 2762-2775 If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S
(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))		 Hotel.kif 2786-2788 If X provides Y, then traveler accommodation is an attribute of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners