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 874-876
(domainSubclass paidFunctionRoomAmenity 1 HotelFunctionRoom)	Hotel.kif 871-871	paidFunctionRoomAmenity の数値 1 引数は HotelFunctionRoom のsubclass では
(domainSubclass paidFunctionRoomAmenity 2 Physical)	Hotel.kif 872-872	paidFunctionRoomAmenity の数値 2 引数は物理のsubclass では
(instance paidFunctionRoomAmenity BinaryPredicate)	Hotel.kif 873-873	paidFunctionRoomAmenity は 2進述語の instance では
(subrelation paidFunctionRoomAmenity functionRoomAmenity)	Hotel.kif 870-870	paidFunctionRoomAmenity は functionRoomAmenity の subrelation では

appearance as argument number 2

(format ChineseLanguage paidFunctionRoomAmenity "%1 的承租人能 pay 去使用 %2 ")	domainEnglishFormat.kif 4066-4066
(format ChineseTraditionalLanguage paidFunctionRoomAmenity "%1 的承租人能 pay 去使用 %2 ")	domainEnglishFormat.kif 4065-4065
(format EnglishLanguage paidFunctionRoomAmenity "renters of %1 can pay to use %2")	domainEnglishFormat.kif 4064-4064
(termFormat EnglishLanguage paidFunctionRoomAmenity "free function room amenity")	Hotel.kif 877-877

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 879-905

paidFunctionRoomAmenity HotelFunctionRoom and 物理エンティティーは HotelFunctionRoom の instance ではエンティティーは AutonomousAgent の belongings の element 工程は Renting の instance ではエンティティーは工程の patient では工程は認識エージェントに ends オブジェクトは物理の instance では AutonomousAgent はオブジェクトを possesses customer 認識エージェント and AutonomousAgent オブジェクトは工程の instance では認識エージェントはオブジェクトの agent では認識エージェントがオブジェクトを experiences AutonomousAgent はオブジェクトを possesses オブジェクトはオブジェクトの instance では認識エージェントはオブジェクトを uses
実数測定単位 price オブジェクト, 実数の測定単位(s) and AutonomousAgent 測定単位は UnitOfCurrency の instance では実数は 0 より greater では

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: