roomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - roomAmenity

roomAmenity

appearance as argument number 1

(documentation roomAmenity EnglishLanguage "(roomAmenity ?ROOM ?PHYS) means that TravelerAccommodation provides Physical ?PHYS in HotelUnit ?ROOM")	Hotel.kif 274-275
(domainSubclass roomAmenity 1 HotelUnit)	Hotel.kif 278-278	Die Zahl 1 Argument von roomAmenity ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass roomAmenity 2 Physical)	Hotel.kif 279-279	Die Zahl 2 Argument von roomAmenity ist eine teilkategorie von Physical %n{nicht}
(instance roomAmenity BinaryPredicate)	Hotel.kif 273-273	roomAmenity ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage roomAmenity "%2 是 amenity 在 %1 ")	domainEnglishFormat.kif 4438-4438
(format ChineseTraditionalLanguage roomAmenity "%2 是 amenity 在 %1 ")	domainEnglishFormat.kif 4437-4437
(format EnglishLanguage roomAmenity "%2 is an amenity in %1")	domainEnglishFormat.kif 4436-4436
(subrelation freeRoomAmenity roomAmenity)	Hotel.kif 334-334	freeRoomAmenity ist eine teilrelation von roomAmenity
(subrelation paidRoomAmenity roomAmenity)	Hotel.kif 380-380	paidRoomAmenity ist eine teilrelation von roomAmenity
(termFormat EnglishLanguage roomAmenity "room amenity")	Hotel.kif 276-276

antecedent

(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	Wenn guest Human and AutonomousAgent und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und TemporaryResidence ist ein fall von TemporaryResidenceOOM %n{nicht} und roomAmenity TemporaryResidenceOOM and Physical und Physical ist eine teilkategorie von Object, dann es gibt Physical um Physical ist ein fall von Physical %n{nicht} und Physical befindet sich an %n{nicht} und AutonomousAgent erlaubt Human, die Aufgabe der Art von es gibt entity um entity ist der agent von Human %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} oder Physical ist ein patient von entity %n{nicht} oder Physical ist ein hilfmittel fuer entity %n{nicht} durchzuf�hren %n{nicht}
(=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R))))))	Hotel.kif 281-292	Wenn roomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object, dann fuer alle Object wenn Object ist ein fall von HotelUnit %n{nicht}, dann es gibt Physical um Object ist ein fall von HotelUnit %n{nicht} und Physical ist ein fall von Physical %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (roomAmenity ?ROOM ?SVC) (subclass ?SVC Process)) (modalAttribute (exists (?X ?S ?HOTEL ?PROC) (and (instance ?X ?ROOM) (element ?X (PropertyFn ?HOTEL)) (agent ?S ?HOTEL) (or (instance ?S ?SVC) (and (instance ?PROC ?SVC) (subProcess ?S ?PROC))) (located ?S ?X))) Possibility))	Hotel.kif 317-332	Wenn roomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Process, dann die Aussage es gibt entity, entity,, , entity, and und entity um entity ist ein fall von HotelUnit %n{nicht} und entity ist ein element von eigentum von entity %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein fall von Physical %n{nicht} oder entity ist ein fall von Physical %n{nicht} und entity ist ein subProzess von entity und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility
(=> (roomAmenity ?HR TemperatureControl) (exists (?DEVICE ?ROOM ?TEMP) (and (instance ?ROOM ?HR) (instance ?DEVICE AirConditioner) (instance ?TEMP TemperatureControl) (located ?TEMP ?ROOM) (part ?TEMP ?DEVICE))))	Hotel.kif 1494-1502	Wenn roomAmenity HotelUnit and TemperatureControl, dann es gibt Object, Object, and und Object um Object ist ein fall von HotelUnit %n{nicht} und Object ist ein fall von AirConditioner %n{nicht} und Object ist ein fall von TemperatureControl %n{nicht} und Object befindet sich an %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (roomAmenity ?ROOM MotionPicture) (exists (?R ?MS ?MP) (and (instance ?R ?ROOM) (instance ?MS MediaSystem) (located ?MS ?R) (instance ?MP MotionPicture) (modalAttribute (exists (?RL) (and (instance ?RL RadiatingLight) (instrument ?RL ?MS) (patient ?RL ?MP))) Possibility))))	Hotel.kif 1506-1519	Wenn roomAmenity HotelUnit and MotionPicture, dann es gibt Object, Physical, and und Entity um Object ist ein fall von HotelUnit %n{nicht} und Physical ist ein fall von MediaSystem %n{nicht} und Physical befindet sich an %n{nicht} und Entity ist ein fall von MotionPicture %n{nicht} und die Aussage es gibt ObjectL um ObjectL ist ein fall von RadiatingLight %n{nicht} und Physical ist ein instrument fuer ObjectL %n{nicht} und Entity ist ein patient von ObjectL %n{nicht} hat die modale Kraft von Possibility
(=> (roomAmenity ?X HotelMiniBar) (exists (?ROOM ?BAR ?HOTEL) (and (instance ?ROOM ?X) (element ?ROOM (PropertyFn ?HOTEL)) (instance ?BAR HotelMiniBar) (located ?BAR ?ROOM) (forall (?ITEM) (=> (member ?ITEM ?BAR) (exists (?AMT) (price ?ITEM ?AMT ?HOTEL)))))))	Hotel.kif 1727-1739	Wenn roomAmenity HotelUnit and HotelMiniBar, dann es gibt Object, Collection, and und AutonomousAgent um Object ist ein fall von HotelUnit %n{nicht} und Object ist ein element von eigentum von AutonomousAgent %n{nicht} und Collection ist ein fall von HotelMiniBar %n{nicht} und Collection befindet sich an %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann es gibt CurrencyMeasure um price Physical, CurrencyMeasure and AutonomousAgent

consequent

(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 171-176	Wenn allRoomsPhysicalAmenity RoomInventory and Physical, dann fuer alle HotelUnit wenn memberType RoomInventory and HotelUnit, dann roomAmenity HotelUnit and ** Physical
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 218-223	Wenn allRoomsServiceAmenity RoomInventory and Physical, dann fuer alle HotelUnit wenn memberType RoomInventory and HotelUnit, dann roomAmenity HotelUnit and ** Physical
(=> (someRoomsPhysicalAmenity ?INV ?OBJ) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 187-192	Wenn someRoomsPhysicalAmenity RoomInventory and Physical, dann es gibt HotelUnit um memberType RoomInventory and HotelUnit und roomAmenity HotelUnit and ** Physical
(=> (someRoomsServiceAmenity ?INV ?SVC) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?SVC))))	Hotel.kif 203-208	Wenn someRoomsServiceAmenity RoomInventory and Physical, dann es gibt HotelUnit um memberType RoomInventory and HotelUnit und roomAmenity HotelUnit and ** Physical

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