| 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 | 子類 外部轉移 and FinancialTransaction |
| appearance as argument number 2 |
|
|
| (disjoint InternalTransfer ExternalTransfer) | FinancialOntology.kif 4139-4139 | 不相交的 內部轉移 and 外部轉移 |
| (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners