| appearance as argument number 1 |
|
| (documentation RoomService EnglishLanguage "RoomService refers to an agent delivering PreparedFood that somebody has ordered to that person's HotelUnit") | Hotel.kif 1976-1977 | |
| (subclass RoomService ServiceProcess) | Hotel.kif 1975-1975 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoomService "room service") | Hotel.kif 1978-1978 |
| antecedent |
|
|
| (=> (instance ?SVC RoomService) (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC) (and (customer ?CUSTOMER ?AGENT) (agent ?SVC ?AGENT) (instance ?RQST Requesting) (agent ?RQST ?CUSTOMER) (patient ?RQST ?ORDER) (represents ?ORDER ?FOOD) (instance ?FOOD PreparedFood) (located ?CUSTOMER ?LOC) (instance ?LOC HotelUnit) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?FOOD) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?RQST)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1980-1998 |
|
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