ExternalTransfer
|
|
appearance as argument number 1 |
(documentation ExternalTransfer EnglishLanguage "A subclass of FinancialTransactions from one FinancialOrganization to another.") | FinancialOntology.kif 4126-4127 | |
(subclass ExternalTransfer FinancialTransaction) | FinancialOntology.kif 4125-4125 | ExternalTransfer ist eine teilkategorie von FinancialTransaction |
appearance as argument number 2 |
(disjoint InternalTransfer ExternalTransfer) | FinancialOntology.kif 4139-4139 | InternalTransfer ist dijunkt von ExternalTransfer %n{nicht} |
(termFormat ChineseLanguage ExternalTransfer "外部转移") | domainEnglishFormat.kif 23020-23020 | |
(termFormat ChineseTraditionalLanguage ExternalTransfer "外部轉移") | domainEnglishFormat.kif 23019-23019 | |
(termFormat EnglishLanguage ExternalTransfer "external transfer") | domainEnglishFormat.kif 23018-23018 |
antecedent |
(=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (equal ?Organization1 ?Organization2)) |
FinancialOntology.kif 4143-4150 |
|
(=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2))) |
FinancialOntology.kif 4129-4136 |
|