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

Formal Language: 



KB Term:  Term intersection
English Word: 

  paidFunctionRoomAmenity

Sigma KEE - paidFunctionRoomAmenity
paidFunctionRoomAmenity

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


(documentation paidFunctionRoomAmenity EnglishLanguage "(paidFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom incurs charges") Hotel.kif 866-868
(instance paidFunctionRoomAmenity BinaryPredicate) Hotel.kif 865-865 paidFunctionRoomAmenity二元谓语instance
(subrelation paidFunctionRoomAmenity functionRoomAmenity) Hotel.kif 864-864 paidFunctionRoomAmenityfunctionRoomAmenitysubrelation

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


(format ChineseLanguage paidFunctionRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") domainEnglishFormat.kif 4062-4062
(format ChineseTraditionalLanguage paidFunctionRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") domainEnglishFormat.kif 4061-4061
(format EnglishLanguage paidFunctionRoomAmenity "renters of %1 can pay to use %2") domainEnglishFormat.kif 4060-4060
(termFormat EnglishLanguage paidFunctionRoomAmenity "free function room amenity") Hotel.kif 869-869

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


(=>
    (and
        (paidFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?X ?CUST))))
    (exists (?PRICE ?U)
        (and
            (price ?X
                (MeasureFn ?PRICE ?U) ?AGENT)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 871-897


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