| 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 | |
| (domainSubclass paidFunctionRoomAmenity 2 Physical) | Hotel.kif 872-872 | |
| (instance paidFunctionRoomAmenity BinaryPredicate) | Hotel.kif 873-873 | |
| (subrelation paidFunctionRoomAmenity functionRoomAmenity) | Hotel.kif 870-870 |
| 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 |
|
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