freeRoomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | ] 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 338-340
(domainSubclass freeRoomAmenity 1 HotelUnit)	Hotel.kif 336-336	The number 1 argument of free room amenity is a subclass of hotel unit
(domainSubclass freeRoomAmenity 2 Physical)	Hotel.kif 337-337	The number 2 argument of free room amenity is a subclass of physical
(instance freeRoomAmenity BinaryPredicate)	Hotel.kif 335-335	free room amenity is an instance of binary predicate
(subrelation freeRoomAmenity roomAmenity)	Hotel.kif 334-334	free room amenity is a subrelation of room amenity

appearance as argument number 2

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

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 ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit 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 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 object is price 0 united states dollar(s) for the human
(=> (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) ?GUEST))	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit 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 the process is price 0.0 united states dollar(s) for the human

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