serviceProvider |
appearance as argument number 1 |
(documentation serviceProvider EnglishLanguage "(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.") | Mid-level-ontology.kif 22880-22882 | |
(domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 22876-22876 | Die Zahl 1 Argument von serviceProvider ist ein fall von ServiceProcess %n{nicht} |
(domain serviceProvider 2 CognitiveAgent) | Mid-level-ontology.kif 22877-22877 | Die Zahl 2 Argument von serviceProvider ist ein fall von CognitiveAgent %n{nicht} |
(instance serviceProvider AsymmetricRelation) | Mid-level-ontology.kif 22874-22874 | serviceProvider ist ein fall von AsymmetricRelation %n{nicht} |
(instance serviceProvider BinaryPredicate) | Mid-level-ontology.kif 22873-22873 | serviceProvider ist ein fall von BinaryPredicate %n{nicht} |
(instance serviceProvider CaseRole) | Mid-level-ontology.kif 22879-22879 | serviceProvider ist ein fall von CaseRole %n{nicht} |
(instance serviceProvider IntentionalRelation) | Mid-level-ontology.kif 22875-22875 | serviceProvider ist ein fall von IntentionalRelation %n{nicht} |
(subrelation serviceProvider agent) | Mid-level-ontology.kif 22878-22878 | serviceProvider ist eine teilrelation von agent |
appearance as argument number 2 |
(format ChineseLanguage serviceProvider "%2 %n{doesn't} 在 %1 中提供服务") | chinese_format.kif 233-233 | |
(format EnglishLanguage serviceProvider "%2 %n{doesn't} provide%p{s} a service during %1") | english_format.kif 234-234 | |
(format JapaneseLanguage serviceProvider "%2 は %1 の間サービスを provide%p{s} %n{ない}") | japanese_format.kif 1965-1965 | |
(termFormat ChineseLanguage serviceProvider "服务供应者") | chinese_format.kif 234-234 | |
(termFormat ChineseLanguage serviceProvider "服务提供者") | domainEnglishFormat.kif 52275-52275 | |
(termFormat ChineseTraditionalLanguage serviceProvider "服務提供者") | domainEnglishFormat.kif 52274-52274 | |
(termFormat EnglishLanguage serviceProvider "service provider") | domainEnglishFormat.kif 52273-52273 |
antecedent |
consequent |