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 22881-22883 | |
(domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 22877-22877 | 域 服務提供者, 1 and 服務 |
(domain serviceProvider 2 CognitiveAgent) | Mid-level-ontology.kif 22878-22878 | 域 服務提供者, 2 and CognitiveAgent |
(instance serviceProvider AsymmetricRelation) | Mid-level-ontology.kif 22875-22875 | 例 服務提供者 and AsymmetricRelation |
(instance serviceProvider BinaryPredicate) | Mid-level-ontology.kif 22874-22874 | 例 服務提供者 and BinaryPredicate |
(instance serviceProvider CaseRole) | Mid-level-ontology.kif 22880-22880 | 例 服務提供者 and CaseRole |
(instance serviceProvider IntentionalRelation) | Mid-level-ontology.kif 22876-22876 | 例 服務提供者 and 有意圖的關係 |
(subrelation serviceProvider agent) | Mid-level-ontology.kif 22879-22879 | 子關係 服務提供者 and 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 |