Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExternalTransfer

Sigma KEE - ExternalTransfer
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 est une sous-classe de financial transaction

appearance as argument number 2
-------------------------


(disjoint InternalTransfer ExternalTransfer) FinancialOntology.kif 4139-4139 InternalTransfer est disjoint de ExternalTransfer
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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