(=>
(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 |
|
(=>
(and
(functionRoomAmenity ?FR ?PHY)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?HOTEL))
(instance ?RENT Renting)
(patient ?RENT ?RM)
(agent ?RENT ?HOTEL)
(destination ?RENT ?CUST)
(subclass ?PHY Object))
(modalAttribute
(exists (?O ?P)
(and
(instance ?O ?PHY)
(instance ?P Process)
(or
(resource ?P ?O)
(instrument ?P ?O)
(patient ?P ?O))
(or
(agent ?P ?CUST)
(experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 811-832 |
|
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Process))
(modalAttribute
(exists (?S ?LOC ?PROC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(agent ?S ?AGENT)
(patient ?S ?CUST)
(or
(instance ?S ?PHYS)
(and
(instance ?PROC ?PHYS)
(subProcess ?S ?PROC)))
(located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
|
(=>
(and
(instance ?X BreakingRecord)
(agent ?X ?A1))
(exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(and
(instance ?AC Set)
(element ?A1 ?AC)
(subclass ?PC Process)
(instance ?L Region)
(instance ?TP TimePoint)
(instance ?Q Quantity)
(instance ?P1 ?PC)
(refers ?X ?Q)
(refers ?Q ?P1)
(playsRoleInEvent ?A1 ?ROLE ?P1)
(eventLocated ?P1 ?L)
(not
(exists (?A2 ?P2)
(and
(instance ?A2 ?AC)
(not
(equal ?A2 ?A1))
(instance ?P2 ?PC)
(holdsDuring
(TimeIntervalFn ?TP
(EndFn
(WhenFn ?X)))
(and
(playsRoleInEvent ?A2 ?ROLE ?P2)
(eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 30018-30048 |
- Wenn Process ist ein fall von BreakingRecord %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt Set, Class,, , ** Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um ** Set ist ein fall von Set %n{nicht} und ** AutonomousAgent ist ein element von ** Set %n{nicht} und ** Class ist eine teilkategorie von Process und ** Object ist ein fall von Region %n{nicht} und ** TimePoint ist ein fall von TimePoint %n{nicht} und ** Entity ist ein fall von Quantity %n{nicht} und ** ** Process ist ein fall von ** Class %n{nicht} und ** Process umfasst einen hinweis auf ** Entity und ** Entity umfasst einen hinweis auf ** ** Process und playsRoleInEvent ** AutonomousAgent, ** CaseRole and ** ** Process und eventLocated ** ** Process and ** Object und es gibt nicht ** Entity und ** Entity um ** ** Entity ist ein fall von ** Set %n{nicht} und ** ** Entity ist gleich ** AutonomousAgent nicht und ** ** Entity ist ein fall von ** Class %n{nicht} und playsRoleInEvent ** ** Entity, ** CaseRole and ** ** Entity und eventLocated ** ** Entity and ** Object haelt waehrend abstand zwischen ** TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?AGENT)
(instance ?S Set)
(patient ?DECIDE ?S)
(element ?M ?S))
(believes ?AGENT
(exists (?CLASS)
(and
(instance ?M ?CLASS)
(subclass ?CLASS IntentionalProcess)
(capability ?CLASS agent ?AGENT))))) |
Merge.kif 12036-12048 |
|
(=>
(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 |
|