ExternalTransfer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ExternalTransfer

ExternalTransfer(external transfer)

appearance as argument number 1

(documentation ExternalTransfer EnglishLanguage "A subclass of FinancialTransactions from one FinancialOrganization to another.")	FinancialOntology.kif 4140-4141
(subclass ExternalTransfer FinancialTransaction)	FinancialOntology.kif 4139-4139	External transfer is a subclass of financial transaction

appearance as argument number 2

(disjoint InternalTransfer ExternalTransfer)	FinancialOntology.kif 4153-4153	Internal transfer is disjoint from external transfer
(termFormat ChineseLanguage ExternalTransfer "外部转移")	domainEnglishFormat.kif 23034-23034	Internal transfer is disjoint from external transfer
(termFormat ChineseTraditionalLanguage ExternalTransfer "外部轉移")	domainEnglishFormat.kif 23033-23033	Internal transfer is disjoint from external transfer
(termFormat EnglishLanguage ExternalTransfer "external transfer")	domainEnglishFormat.kif 23032-23032	Internal transfer is disjoint from external transfer

antecedent

(=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (equal ?Organization1 ?Organization2))	FinancialOntology.kif 4157-4164	If a process is an instance of external transfer and the process originates at an object and the object is an instance of financial organization and the process ends up at an entity and the entity is an instance of financial organization, then the object is equal to the entity
(=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2)))	FinancialOntology.kif 4143-4150	If a process is an instance of external transfer and the process originates at an object and the object is an instance of financial organization and the process ends up at an entity and the entity is an instance of financial organization, then the object is not equal to the entity

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