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 18870-18872 | |
(subclass ServicePosition SkilledOccupation) | Mid-level-ontology.kif 18869-18869 | 服务职位 是 熟练的职业 的 subclass |
appearance as argument number 2 |
(instance Concierge ServicePosition) | Hotel.kif 2409-2409 | Concierge 是 服务职位 的 instance |
(instance Doorman ServicePosition) | Hotel.kif 2423-2423 | Doorman 是 服务职位 的 instance |
(instance FlightSteward ServicePosition) | Mid-level-ontology.kif 30717-30717 | FlightSteward 是 服务职位 的 instance |
(instance Maid ServicePosition) | Mid-level-ontology.kif 20624-20624 | 女佣 是 服务职位 的 instance |
(instance Porter ServicePosition) | Hotel.kif 2378-2378 | Porter 是 服务职位 的 instance |
(instance Waiter ServicePosition) | Mid-level-ontology.kif 20591-20591 | Waiter 是 服务职位 的 instance |
(subclass Valet ServicePosition) | TransportDetail.kif 123-123 | Valet 是 服务职位 的 subclass |
(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 7672-7676 |