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 866-868
(instance paidFunctionRoomAmenity BinaryPredicate)	Hotel.kif 865-865	free function room amenity is an instance of binary predicate
(subrelation paidFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 864-864	free function room amenity is a subrelation of function room amenity

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

If renters of a kind of hotel function room can pay to use a kind of physical and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object,
then there exist a real number and an unit of measure such that the object is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0

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: