paidFunctionRoomAmenity - Sigma Knowledge base Browser

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 839-841
(instance paidFunctionRoomAmenity BinaryPredicate)	Hotel.kif 838-838	instance paidFunctionRoomAmenity and BinaryPredicate
(subrelation paidFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 837-837	subrelation paidFunctionRoomAmenity and functionRoomAmenity

appearance as argument number 2

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

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 ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))

Hotel.kif 844-867

paidFunctionRoomAmenity HotelFunctionRoom and SetOrClass instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and SetOrClass possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent
price Agent, CurrencyMeasure and CognitiveAgent greaterThan CurrencyMeasure and MeasureFn 0 and UnitedStatesDollar

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

KB Term:			Term intersection

English Word: