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 809-811
(instance freeFunctionRoomAmenity BinaryPredicate)	Hotel.kif 808-808	instance freeFunctionRoomAmenity and BinaryPredicate
(subrelation freeFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 807-807	subrelation freeFunctionRoomAmenity and functionRoomAmenity

appearance as argument number 2

(format ChineseLanguage freeFunctionRoomAmenity "%2 是 free 对于顾客出租 %1 ")	domainEnglishFormat.kif 3491-3491
(format ChineseTraditionalLanguage freeFunctionRoomAmenity "%2 是 free 對於顧客出租 %1 ")	domainEnglishFormat.kif 3490-3490
(format EnglishLanguage freeFunctionRoomAmenity "%2 is free for customers renting %1")	domainEnglishFormat.kif 3489-3489
(termFormat EnglishLanguage freeFunctionRoomAmenity "free function room amenity")	Hotel.kif 812-812	termFormat EnglishLanguage, freeFunctionRoomAmenity and "free function room amenity"

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 814-835

freeFunctionRoomAmenity 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, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent

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: