freeFunctionRoomAmenity - Sigma Knowledge base Browser

appearance as argument number 1

(documentation freeFunctionRoomAmenity EnglishLanguage "(freeFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom does not incur charges")	Hotel.kif 842-844
(domainSubclass freeFunctionRoomAmenity 1 HotelFunctionRoom)	Hotel.kif 839-839	The number 1 argument of free function room amenity is a subclass of hotel function room
(domainSubclass freeFunctionRoomAmenity 2 Physical)	Hotel.kif 840-840	The number 2 argument of free function room amenity is a subclass of physical
(instance freeFunctionRoomAmenity BinaryPredicate)	Hotel.kif 841-841	free function room amenity is an instance of binary predicate
(subrelation freeFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 838-838	free function room amenity is a subrelation of function room amenity

appearance as argument number 2

(format ChineseLanguage freeFunctionRoomAmenity "%2 是 free 对于顾客出租 %1 ")	domainEnglishFormat.kif 3488-3488
(format ChineseTraditionalLanguage freeFunctionRoomAmenity "%2 是 free 對於顧客出租 %1 ")	domainEnglishFormat.kif 3487-3487
(format EnglishLanguage freeFunctionRoomAmenity "%2 is free for customers renting %1")	domainEnglishFormat.kif 3486-3486
(termFormat EnglishLanguage freeFunctionRoomAmenity "free function room amenity")	Hotel.kif 845-845

antecedent

(=>
    (and
        (freeFunctionRoomAmenity ?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))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))

Hotel.kif 847-868

If a kind of physical is free for customers renting a kind of hotel function room 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 the object is price 0 united states dollar(s) for the agent

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: