TreeView Knowledge Base Browser - freeFunctionRoomAmenity

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 815-817
(instance freeFunctionRoomAmenity BinaryPredicate)	Hotel.kif 814-814	free function room amenity is an instance of binary predicate
(subrelation freeFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 813-813	free function room amenity is a subrelation of function room amenity

appearance as argument number 2

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

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

Hotel.kif 820-841

If a class 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 a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent,
then the agent is price 0 united states dollar(s) for the cognitive agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: