|
|
   ServicePosition
|
|
|
| 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 18871-18873 | |
| (subclass ServicePosition SkilledOccupation) | Mid-level-ontology.kif 18870-18870 | ServicePosition ist eine teilkategorie von SkilledOccupation |
| appearance as argument number 2 |
|
|
| (instance Concierge ServicePosition) | Hotel.kif 2409-2409 | Concierge ist ein fall von ServicePosition %n{nicht} |
| (instance Doorman ServicePosition) | Hotel.kif 2423-2423 | Doorman ist ein fall von ServicePosition %n{nicht} |
| (instance FlightSteward ServicePosition) | Mid-level-ontology.kif 30729-30729 | FlightSteward ist ein fall von ServicePosition %n{nicht} |
| (instance Maid ServicePosition) | Mid-level-ontology.kif 20625-20625 | Maid ist ein fall von ServicePosition %n{nicht} |
| (instance Porter ServicePosition) | Hotel.kif 2378-2378 | Porter ist ein fall von ServicePosition %n{nicht} |
| (instance Waiter ServicePosition) | Mid-level-ontology.kif 20592-20592 | Waiter ist ein fall von ServicePosition %n{nicht} |
| (subclass Valet ServicePosition) | TransportDetail.kif 123-123 | Valet ist eine teilkategorie von ServicePosition |
| (termFormat ChineseLanguage ServicePosition "服务职位") | domainEnglishFormat.kif 52263-52263 | |
| (termFormat ChineseTraditionalLanguage ServicePosition "服務職位") | domainEnglishFormat.kif 52262-52262 | |
| (termFormat EnglishLanguage ServicePosition "service position") | domainEnglishFormat.kif 52261-52261 |
| consequent |
|
|
| (=> (instance ?COMPANY Cafeteria) (not (exists (?PERSON) (occupiesPosition ?PERSON ServicePosition ?COMPANY)))) |
Mid-level-ontology.kif 7673-7677 |
|
|
|
|