freeRoomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - freeRoomAmenity

freeRoomAmenity

appearance as argument number 1

(documentation freeRoomAmenity EnglishLanguage "(freeRoomAmenity ?ROOM ?PHYS) means that there is no price associated with the use of an object or the rendering of a service")	Hotel.kif 329-331
(instance freeRoomAmenity BinaryPredicate)	Hotel.kif 328-328	free room amenity is an instance of binary predicate
(subrelation freeRoomAmenity roomAmenity)	Hotel.kif 327-327	free room amenity is a subrelation of room amenity

appearance as argument number 2

(format ChineseLanguage freeRoomAmenity "%2 的使用是对于 %1 免费")	domainEnglishFormat.kif 3503-3503
(format ChineseTraditionalLanguage freeRoomAmenity "%2 的使用對於 %1 是免費")	domainEnglishFormat.kif 3502-3502
(format EnglishLanguage freeRoomAmenity "use of %2 is free for %1")	domainEnglishFormat.kif 3501-3501
(termFormat EnglishLanguage freeRoomAmenity "free room amenity")	Hotel.kif 332-332

antecedent

(=> (and (freeRoomAmenity ?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 (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 334-349	If use of a class is free for a kind of hotel unit and the class 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 class 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 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 the process is price 0 united states dollar(s) for the agent
(=> (and (freeRoomAmenity ?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)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 351-365	If use of a class is free for a kind of hotel unit and the class 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 class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the agent

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