TreeView Knowledge Base Browser - paidRoomAmenity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

paidRoomAmenity

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	Die Zahl 1 Argument von paidRoomAmenity ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass paidRoomAmenity 2 Physical)	Hotel.kif 383-383	Die Zahl 2 Argument von paidRoomAmenity ist eine teilkategorie von Physical %n{nicht}
(instance paidRoomAmenity BinaryPredicate)	Hotel.kif 381-381	paidRoomAmenity ist ein fall von BinaryPredicate %n{nicht}
(subrelation paidRoomAmenity roomAmenity)	Hotel.kif 380-380	paidRoomAmenity ist eine teilrelation von roomAmenity

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	Wenn paidRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und Object befindet sich an %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von Human %n{nicht} und Process befindet sich an %n{nicht} oder Object ist ein patient von Process %n{nicht} oder Object ist ein instrument fuer Process %n{nicht} oder Object ist ein hilfmittel fuer Process %n{nicht}, dann es gibt ProcessRICE und UnitOfMeasure um price Object, ProcessRICE UnitOfMeasure(s) and Human und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und ** ProcessRICE ist groesserAls 0 %n{nicht}
(=> (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	Wenn paidRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Process und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Human ist ein patient von Process %n{nicht} und Process ist ein fall von Physical %n{nicht} oder Process ist ein fall von Physical %n{nicht} und Process ist ein subProzess von Process und Process befindet sich an %n{nicht}, dann es gibt ProcessRICE und UnitOfMeasure um price Process, ProcessRICE UnitOfMeasure(s) and Human und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und ProcessRICE ist groesserAls 0 %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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