Knowledge base Browser

appearance as argument number 2

(subclass FinancialTransaction Transaction)	Merge.kif 9389-9389	Financial transaction is a subclass of transaction
(termFormat EnglishLanguage Transaction "transaction")	english_format.kif 816-816	term format english language, transaction and "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 9370-9387

If a process is an instance of transaction
then there exist an agent agent, process, a process, an entity and and entity so that process is an instance of giving and process is an instance of giving and process is a subprocess of process and process is a subprocess of process and agent is an agent of process and agent is an agent of process and entity is a patient of process and entity is a patient of process and process ends at agent and process ends at agent and agent is not equal to agent and entity is not equal to entity

consequent

(=> (instance ?GET UnilateralGetting) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GET ?TRANS)))))	Merge.kif 9352-9358	If a process is an instance of unilateral getting then there doesn't exist process so that process is an instance of transaction and process is a subprocess of process
(=> (instance ?GIVE UnilateralGiving) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GIVE ?TRANS)))))	Merge.kif 9289-9295	If a process is an instance of unilateral giving then there doesn't exist process so that process is an instance of transaction and process is a subprocess of process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

(documentation Transaction EnglishLanguage "The subclass of change of possession where something is exchanged for something else.")	Merge.kif 9367-9368
(subclass Transaction ChangeOfPossession)	Merge.kif 9365-9365	Transaction is a subclass of change of possession
(subclass Transaction DualObjectProcess)	Merge.kif 9366-9366	Transaction is a subclass of dual object process

KB Term:

English Word: