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 328-330
(instance freeRoomAmenity BinaryPredicate)	Hotel.kif 327-327	free room amenity is an instance of binary predicate
(subrelation freeRoomAmenity roomAmenity)	Hotel.kif 326-326	free room amenity is a subrelation of room amenity

appearance as argument number 2

(format EnglishLanguage freeRoomAmenity "use of %2 is free for %1")	domainEnglishFormat.kif 884-884
(termFormat EnglishLanguage freeRoomAmenity "free room amenity")	Hotel.kif 331-331	"free room amenity" is the printable form of free room amenity in english language

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 333-348	If use of a set or class is free for a kind of hotel unit and the set or 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 set or 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 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)) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 350-363	If use of a set or class is free for a kind of hotel unit and the set or 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 a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners