| ServicePosition(service position) | | arouser, assist, attend, attend_to, attendant, attender, busboy, loader, matron_of_honor, racker, retainer, rouser, servant, serve, tender, wait_on, waiter's_assistant, waker |
| appearance as argument number 1 |
|
|
| (documentation ServicePosition EnglishLanguage "Any Position which involves working as a waiter or servant, either for an Organization (e.g. a restaurant) or for a person or family.") | Mid-level-ontology.kif 16599-16601 | |
| (subclass ServicePosition SkilledOccupation) | Mid-level-ontology.kif 16598-16598 | Service position is a subclass of skilled occupation |
| appearance as argument number 2 |
|
|
| (instance Concierge ServicePosition) | Hotel.kif 2355-2355 | Concierge is an instance of service position |
| (instance Doorman ServicePosition) | Hotel.kif 2369-2369 | Doorman is an instance of service position |
| (instance Maid ServicePosition) | Mid-level-ontology.kif 18284-18284 | Maid is an instance of service position |
| (instance Porter ServicePosition) | Hotel.kif 2324-2324 | Porter is an instance of service position |
| (instance Waiter ServicePosition) | Mid-level-ontology.kif 18252-18252 | Waiter is an instance of service position |
| (subclass Valet ServicePosition) | TransportDetail.kif 123-123 | Valet is a subclass of service position |
| (termFormat ChineseLanguage ServicePosition "服务职位") | domainEnglishFormat.kif 52160-52160 | |
| (termFormat ChineseTraditionalLanguage ServicePosition "服務職位") | domainEnglishFormat.kif 52159-52159 | |
| (termFormat EnglishLanguage ServicePosition "service position") | domainEnglishFormat.kif 52158-52158 |
| consequent |
|
|
| (=> (instance ?COMPANY Cafeteria) (not (exists (?PERSON) (occupiesPosition ?PERSON ServicePosition ?COMPANY)))) |
Mid-level-ontology.kif 7368-7372 |
|
|
|
|