| 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 1965-1966 | |
| (subclass RoomService ServiceProcess) | Hotel.kif 1964-1964 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoomService "room service") | Hotel.kif 1967-1967 |
| 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 1969-1987 |
|
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