paidRoomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - paidRoomAmenity

paidRoomAmenity

appearance as argument number 1

(documentation paidRoomAmenity EnglishLanguage "(paidRoomAmenity ?ROOM ?PHYS) means that there is a fee associated with the use of an object or the rendering of a service")	Hotel.kif 384-386
(domainSubclass paidRoomAmenity 1 HotelUnit)	Hotel.kif 382-382	The number 1 argument of paid room amenity is a subclass of hotel unit
(domainSubclass paidRoomAmenity 2 Physical)	Hotel.kif 383-383	The number 2 argument of paid room amenity is a subclass of physical
(instance paidRoomAmenity BinaryPredicate)	Hotel.kif 381-381	paid room amenity is an instance of binary predicate
(subrelation paidRoomAmenity roomAmenity)	Hotel.kif 380-380	paid room amenity is a subrelation of room amenity

appearance as argument number 2

(format ChineseLanguage paidRoomAmenity "%1 的承租人能 pay 去使用 %2 ")	domainEnglishFormat.kif 4070-4070
(format ChineseTraditionalLanguage paidRoomAmenity "%1 的承租人能 pay 去使用 %2 ")	domainEnglishFormat.kif 4069-4069
(format EnglishLanguage paidRoomAmenity "renters of %1 can pay to use %2")	domainEnglishFormat.kif 4068-4068
(termFormat EnglishLanguage paidRoomAmenity "paid room amenity")	Hotel.kif 387-387

antecedent

(=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the temporary residence or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
(=> (and (paidRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (exists (?PRICE ?U) (and (price ?P (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0

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