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 4126-4127
(subclass ExternalTransfer FinancialTransaction)	FinancialOntology.kif 4125-4125	External transfer is a subclass of financial transaction

appearance as argument number 2

(disjoint InternalTransfer ExternalTransfer)	FinancialOntology.kif 4139-4139	Internal transfer is disjoint from external transfer
(termFormat ChineseLanguage ExternalTransfer "外部转移")	domainEnglishFormat.kif 23040-23040	Internal transfer is disjoint from external transfer
(termFormat ChineseTraditionalLanguage ExternalTransfer "外部轉移")	domainEnglishFormat.kif 23039-23039	Internal transfer is disjoint from external transfer
(termFormat EnglishLanguage ExternalTransfer "external transfer")	domainEnglishFormat.kif 23038-23038	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 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 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 4129-4136	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