CommercialService
|
|
appearance as argument number 1 |
(documentation CommercialService ChineseLanguage "这是由 CommercialAgent 为了赚取利息的任何 FinancialTransaction。 ") | chinese_format.kif 3103-3104 | |
(documentation CommercialService EnglishLanguage "Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit.") | Merge.kif 11895-11896 | |
(subclass CommercialService FinancialTransaction) | Merge.kif 11894-11894 | CommercialService est une sous-classe de financial transaction |
(subclass CommercialService ServiceProcess) | Merge.kif 11897-11897 | CommercialService est une sous-classe de ServiceProcess |
appearance as argument number 2 |
(subclass CommercialShipping CommercialService) | Mid-level-ontology.kif 7700-7700 | CommercialShipping est une sous-classe de CommercialService |
(subclass FinancialService CommercialService) | Mid-level-ontology.kif 7187-7187 | FinancialService est une sous-classe de CommercialService |
(termFormat ChineseLanguage CommercialService "商业服务") | domainEnglishFormat.kif 15870-15870 | |
(termFormat ChineseTraditionalLanguage CommercialService "商業服務") | domainEnglishFormat.kif 15869-15869 | |
(termFormat EnglishLanguage CommercialService "commercial service") | domainEnglishFormat.kif 15868-15868 |
antecedent |
(=> (and (instance ?Service CommercialService) (agent ?Service ?Agent) (employs ?Org ?Agent) (destination ?Service ?Customer)) (hasPurpose ?Service (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Org) (origin ?Transaction ?Customer))))) |
FinancialOntology.kif 3590-3601 |
|
(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT)))) |
Merge.kif 11899-11904 |
|
consequent |