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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Transaction
Transaction(transaction)

appearance as argument number 1
-------------------------


(documentation Transaction ChineseLanguage "这是 ChangeOfPossession 的 subclass，这出现 在当一些东西用来交换另外一些东西的时候。") chinese_format.kif 3093-3094
(documentation Transaction EnglishLanguage "The subclass of ChangeOfPossession where something is exchanged for something else.") Merge.kif 11962-11963
(documentation Transaction JapaneseLanguage "何かが他のものと交換される ChangeOfPossession の subclass 。") japanese_format.kif 1864-1865
(subclass Transaction ChangeOfPossession) Merge.kif 11959-11959 Transaction est une sous-classe de changement de possession
(subclass Transaction DualObjectProcess) Merge.kif 11960-11960 Transaction est une sous-classe de processus requ�rant deux patients

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


(subclass FinancialTransaction Transaction) Merge.kif 11984-11984 Financial transaction est une sous-classe de transaction
(termFormat ChineseLanguage Transaction "交易") chinese_format.kif 1139-1139 Financial transaction est une sous-classe de transaction
(termFormat EnglishLanguage Transaction "transaction") english_format.kif 1495-1495 Financial transaction est une sous-classe de transaction
(termFormat FrenchLanguage Transaction "transaction") french_format.kif 817-817 Financial transaction est une sous-classe de transaction
(termFormat Hindi Transaction "lena-dena") terms-hindi.txt 349-349 Financial transaction est une sous-classe de transaction
(termFormat ItalianLanguage Transaction "Scambio") terms-it.txt 352-352 Financial transaction est une sous-classe de transaction
(termFormat JapaneseLanguage Transaction "取引") japanese_format.kif 2501-2501 Financial transaction est une sous-classe de transaction
(termFormat PortugueseLanguage Transaction "Transacao") portuguese_format.kif 769-769 Financial transaction est une sous-classe de transaction
(termFormat cz Transaction "transaction") terms-cz.txt 388-388 Financial transaction est une sous-classe de transaction
(termFormat de Transaction "Transaktion") terms-de.txt 647-647 Financial transaction est une sous-classe de transaction
(termFormat ro Transaction "tranzacþie") relations-ro.kif 838-838 Financial transaction est une sous-classe de transaction
(termFormat tg Transaction "pagpapalit") terms-tg.txt 353-353 Financial transaction est une sous-classe de transaction

antecedent
-------------------------


(=>
    (instance ?TRANS Transaction)
    (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
        (and
            (instance ?GIVE1 Giving)
            (instance ?GIVE2 Giving)
            (subProcess ?GIVE1 ?TRANS)
            (subProcess ?GIVE2 ?TRANS)
            (agent ?GIVE1 ?AGENT1)
            (agent ?GIVE2 ?AGENT2)
            (patient ?GIVE1 ?OBJ1)
            (patient ?GIVE2 ?OBJ2)
            (destination ?GIVE1 ?AGENT2)
            (destination ?GIVE2 ?AGENT1)
            (not
                (equal ?AGENT1 ?AGENT2))
            (not
                (equal ?OBJ1 ?OBJ2)))))		 Merge.kif 11965-11982

consequent
-------------------------


(=>
    (instance ?GET UnilateralGetting)
    (not
        (exists (?TRANS)
            (and
                (instance ?TRANS Transaction)
                (subProcess ?GET ?TRANS)))))		 Merge.kif 11945-11951
(=>
    (instance ?GIVE UnilateralGiving)
    (not
        (exists (?TRANS)
            (and
                (instance ?TRANS Transaction)
                (subProcess ?GIVE ?TRANS)))))		 Merge.kif 11866-11872


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