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 11919-11920 | |
(subclass CommercialService FinancialTransaction) | Merge.kif 11918-11918 | CommercialService は 金融取引 の subclass では %n |
(subclass CommercialService ServiceProcess) | Merge.kif 11921-11921 | CommercialService は ServiceProcess の subclass では %n |
appearance as argument number 2 |
(subclass CommercialShipping CommercialService) | Mid-level-ontology.kif 7728-7728 | CommercialShipping は CommercialService の subclass では %n |
(subclass FinancialService CommercialService) | Mid-level-ontology.kif 7215-7215 | FinancialService は CommercialService の subclass では %n |
(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 11923-11928 |
|
consequent |