TreeView Knowledge Base Browser - paidFunctionRoomAmenity

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	paidFunctionRoomAmenity ist ein fall von BinaryPredicate %n{nicht}
(subrelation paidFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 864-864	paidFunctionRoomAmenity ist eine teilrelation von functionRoomAmenity

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

Wenn paidFunctionRoomAmenity ** HotelFunctionRoom and ** Physical und Entity ist ein fall von ** HotelFunctionRoom %n{nicht} und ** Entity ist ein element von eigentum von AutonomousAgent %n{nicht} und Process ist ein fall von Renting %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Process endet an CognitiveAgent %n{nicht} und Object ist ein fall von ** Physical %n{nicht} und ** AutonomousAgent besitzt ** Object %n{nicht} und customer ** CognitiveAgent and ** AutonomousAgent und ** Object ist ein fall von Process %n{nicht} und ** Object ist der agent von ** CognitiveAgent %n{nicht} oder ** CognitiveAgent erfaehrt ** Object %n{nicht} oder ** AutonomousAgent besitzt ** Object %n{nicht} und ** Object ist ein fall von Object %n{nicht} und ** CognitiveAgent verwendet ** Object,
dann es gibt RealNumber und UnitOfMeasure um price ** Object, ** RealNumber ** UnitOfMeasure(s) and ** AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und ** RealNumber ist groesserAls 0 %n{nicht}

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

KB Term:			Term intersection

English Word: