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


KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialTransaction
FinancialTransaction(financial transaction)C.O.D., COD, NAFTA, North_American_Free_Trade_Agreement, advance, advisory_service, amortise, amortize, arbitrage, arms_deal, at_a_loss, attestation_report, attestation_service, bank, banking, barratry, bear, bear_hug, bear_market, best, black_market, bond, bond-trading_activity, bond_trading, bountied, break, break_even, bribe, bribery, broker, buckshee, bull_market, business, business_activity, business_deal, buy, buy_off, buyer's_market, buyers'_market, capital_account, carriage_trade, carry, cash, cash_in, cash_on_delivery, cashed, charter, chartered, check_out, clean_up...

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


(subclass FinancialTransaction Transaction) Merge.kif 12110-12110 Financial transaction is a subclass of transaction
(documentation FinancialTransaction EnglishLanguage "A Transaction where an instance of FinancialInstrument is the subject of the action, and often is exchanged for something else.") Merge.kif 12112-12114 Financial transaction is a subclass of transaction

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


(subclass CommercialService FinancialTransaction) Merge.kif 12148-12148 Commercial service is a subclass of financial transaction
(subclass Betting FinancialTransaction) Merge.kif 12160-12160 Betting is a subclass of financial transaction
(subclass Buying FinancialTransaction) Merge.kif 12166-12166 Buying is a subclass of financial transaction
(subclass Selling FinancialTransaction) Merge.kif 12177-12177 Selling is a subclass of financial transaction
(subclass Vending FinancialTransaction) Mid-level-ontology.kif 2518-2518 Vending is a subclass of financial transaction
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 22731-22731 The values returned by occupation are subclasses of financial transaction
(subclass Working FinancialTransaction) Mid-level-ontology.kif 22741-22741 Working is a subclass of financial transaction
(subclass Renting FinancialTransaction) Mid-level-ontology.kif 24698-24698 Renting is a subclass of financial transaction
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 284-284 Muakhar sadaq is a subclass of financial transaction
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 304-304 Muqaddam sadaq is a subclass of financial transaction
(subclass Exporting FinancialTransaction) Economy.kif 2631-2631 Exporting is a subclass of financial transaction
(subclass Importing FinancialTransaction) Economy.kif 2798-2798 Importing is a subclass of financial transaction
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 292-292 Opening an account is a subclass of financial transaction
(subclass UsingAnAccount FinancialTransaction) FinancialOntology.kif 310-310 Using an account is a subclass of financial transaction
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 355-355 Controlling an account is a subclass of financial transaction
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 390-390 Closing an account is a subclass of financial transaction
(subclass Payment FinancialTransaction) FinancialOntology.kif 405-405 Payment is a subclass of financial transaction
(subclass Deposit FinancialTransaction) FinancialOntology.kif 447-447 Deposit is a subclass of financial transaction
(subclass Withdrawal FinancialTransaction) FinancialOntology.kif 476-476 Withdrawing from an account is a subclass of financial transaction
(subclass Investing FinancialTransaction) FinancialOntology.kif 504-504 Investing is a subclass of financial transaction
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 528-528 Automatic transaction is a subclass of financial transaction
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 912-912 Charging a fee is a subclass of financial transaction
(subclass Call FinancialTransaction) FinancialOntology.kif 1465-1465 Call is a subclass of financial transaction
(subclass Refinancing FinancialTransaction) FinancialOntology.kif 1487-1487 Refinancing is a subclass of financial transaction
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1845-1845 Asset allocation is a subclass of financial transaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain transactionAmount 1 FinancialTransaction) Merge.kif 12126-12126 The number 1 argument of transaction amount is an instance of financial transaction
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 8501-8501 The number 1 argument of loss is an instance of financial transaction
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 8923-8923 The number 1 argument of profit is an instance of financial transaction
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 22739-22739 The number 2 argument of occupation is a subclass of financial transaction
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 702-702 The number 2 argument of minimum balance is a subclass of financial transaction
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 917-917 The number 2 argument of service fee is an instance of financial transaction
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 2013-2013 The number 1 argument of order for is an instance of financial transaction
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 2014-2014 The number 2 argument of order for is a subclass of financial transaction
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3937-3937 The number 1 argument of confirmation number is an instance of financial transaction
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 4049-4049 The number 2 argument of daily limit is a subclass of financial transaction
(domain broker 1 FinancialTransaction) UXExperimentalTerms.kif 1686-1686 The number 1 argument of broker is an instance of financial transaction
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1706-1706 The number 1 argument of e_commerce site is an instance of financial transaction

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


(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 12116-12121 If X is an instance of financial transaction, then there exists Y such that Y is a patient of X and Y is an instance of financial instrument
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 1058-1066 If X is an instance of savings account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of authorization of transaction and Z is a subprocess of Y
(=>
    (and
        (instance ?Account CheckingAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (or
        (exists (?Check)
            (and
                (instance ?Check Check)
                (instrument ?Transaction ?Check)))
        (exists (?DebitCard)
            (and
                (instance ?DebitCard DebitCard)
                (instrument ?Transaction ?DebitCard)))))		 FinancialOntology.kif 1168-1181 If X is an instance of checking account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of check and Z is an instrument for Y or there exists W such that W is an instance of debit card and W is an instrument for Y
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))		 FinancialOntology.kif 1277-1285 If X is an instance of credit card account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of credit card and Z is an instrument for Y
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3574-3581 If X is an instance of authorization of transaction, Y is an instance of financial transaction, Z is an instance of bank card, Z is an instrument for Y, and X causes Y, then Z is an instance of valid card
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card)
        (instance ?Transaction FinancialTransaction)
        (instrument ?Transaction ?Card))
    (exists (?PIN ?Enter)
        (and
            (pin ?PIN ?Card)
            (instance ?Enter EnteringAPin)
            (patient ?Enter ?PIN)
            (agent ?Enter ?Agent))))		 FinancialOntology.kif 3601-3612 If X is an instance of debit card, Y possesses X, Z is an instance of financial transaction, and X is an instrument for Z, then there exist W, V such that X is a pin of W, V is an instance of entering a PIN, W is a patient of V, and Y is an agent of V
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3873-3885 If X is an instance of financial transaction, X originates at Y, Z W(s) is a transaction amount of X, W is an instance of unit of currency, and date of X is V, then there exists U such that the available balance of Y on V is U W(s) and Z is greater than or equal to U
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3896-3910 If All of the following hold: (1) X is an instance of financial transaction (2) X originates at the currency of Y (3) Z W(s) is a transaction amount of X (4) W is an instance of unit of currency (5) V is an instance of currency (6) V is a patient of X (7) date of X is U, then there exists T such that the available cash of Y on U is T W(s) and Z is greater than or equal to T
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))		 FinancialOntology.kif 3965-3972 If X is a last statement of Y, Z is an instance of financial transaction, X expresses the content of Z, W is an instance of financial transaction, and X doesn't express the content of W, then the time of existence of W happens earlier than the time of existence of Z
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))		 FinancialOntology.kif 4017-4024 If X is an instance of financial transaction and X ends up at Y, then Z is an instance of commercial service, Y is an agent of Z, and open service is an attribute of Z
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))		 UXExperimentalTerms.kif 1728-1747 If X is an instance of financial transaction and business to business transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) business account is an attribute of Y (15) business account is an attribute of Z
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1760-1779 If X is an instance of financial transaction and business to consumer transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) business account is an attribute of Y (15) consumer account is an attribute of Z
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1792-1811 If X is an instance of financial transaction and consumer to consumer transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) consumer account is an attribute of Y (15) consumer account is an attribute of Z
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (exists (?ITEM ?BUYING)
        (equal
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Physical)
                        (instance ?BUYING Buying)
                        (member ?BUYING ?COLL)
                        (patient ?BUYING ?ITEM))))
            (BoughtItemsFn ?COLL))))		 UXExperimentalTerms.kif 2887-2903 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of financial transaction, then there exist Z, W such that equal the number of instances in the class described by Z, and number of items purchased in X

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


(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))		 Merge.kif 10878-10890 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
(=>
    (instance ?VD VendingMachine)
    (hasPurpose ?VD
        (exists (?T ?C ?P)
            (and
                (instance ?T FinancialTransaction)
                (instrument ?T ?VD)
                (patient ?T ?C)
                (instance ?C Currency)
                (patient ?T ?P)
                (instance ?P Product)))))		 Mid-level-ontology.kif 2549-2559 If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of financial transaction (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of currency (6) W is a patient of Y (7) W is an instance of product
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 8399-8405 If X is an instance of store, then X has the purpose there exists Y such that Y is an instance of financial transaction and Y is located at X
(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 9048-9054 X is a customer of Y if, only if there exists Z such that Z is an instance of financial transaction, X is an agent of Z, and Z ends up at Y
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 24718-24724 If X is an instance of marketplace, then X has the purpose there exists Y such that Y is an instance of financial transaction and Y is located at X
(=>
    (instance ?X RestaurantBuilding)
    (hasPurpose ?X
        (exists (?OWN ?EMP ?P ?PAY)
            (and
                (employs ?OWN ?EMP)
                (possesses ?OWN ?X)
                (instance ?P Human)
                (instance ?PAY FinancialTransaction)
                (agent ?PAY ?P)
                (patient ?PAY ?EMP)
                (confersRight ?EMP ?P
                    (exists (?EV)
                        (and
                            (instance ?EV Eating)
                            (agent ?EV ?P)
                            (eventLocated ?EV ?X))))))))		 Mid-level-ontology.kif 24837-24853 If X is an instance of restaurant building, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y employs Z (3) Y possesses X (4) W is an instance of human (5) V is an instance of financial transaction (6) W is an agent of V (7) Z is a patient of V (8) W allows there exists U such that U is an instance of eating (9) W is an agent of U (10) U is located at X to perform task of the type Z
(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))		 Mid-level-ontology.kif 32085-32096 If coin operated is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of coin (3) Z is an instance of financial transaction (4) Z ends up at X (5) Y is a patient of Z (6) Z originates at W (7) Z causes V (8) W wants V
(=>
    (standardRetailHours ?TIMEINT ?AGENT)
    (exists (?FT ?T ?C ?SRH ?NONSRH)
        (and
            (instance ?FT FinancialTransaction)
            (agent ?FT ?AGENT)
            (instance ?T ?TIMEINT)
            (destination ?FT ?C)
            (equal ?SRH
                (ProbabilityFn
                    (and
                        (during
                            (WhenFn ?FT) ?T)
                        (customer ?C ?AGENT))))
            (equal ?NONSRH
                (ProbabilityFn
                    (and
                        (not
                            (during
                                (WhenFn ?FT) ?T))
                        (customer ?C ?AGENT))))
            (greaterThan ?SRH ?NONSRH))))		 Dining.kif 388-407 If the standard retail hours for X are Y, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of financial transaction (3) X is an agent of Z (4) W is an instance of Y (5) Z ends up at V (6) equal U (7) the probability of the time of existence of Z takes place during W (8) X is a customer of V (9) equal T (10) the probability of the time of existence of Z doesn't take place during W (11) X is a customer of V (12) U is greater than T
(=>
    (attribute ?PHYSICAL Profitable)
    (=>
        (and
            (instance ?F FinancialTransaction)
            (patient ?F ?PHYSICAL)
            (profit ?F
                (MeasureFn ?C ?U)))
        (greaterThan ?C 0)))		 Economy.kif 6673-6680 Assuming profitable is an attribute of X, it follows that: if Y is an instance of financial transaction, X is a patient of Y, and the profit from Y is Z W(s), then Z is greater than 0
(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A
            (MeasureFn ?P ?U))
        (instance ?U UnitOfCurrency)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY
                (MeasureFn ?C ?U))
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))		 FinancialOntology.kif 1229-1244 If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X
(=>
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (employs ?Org ?Agent)
        (destination ?Service ?Customer))
    (hasPurpose ?Service
        (exists (?Transaction)
            (and
                (instance ?Transaction FinancialTransaction)
                (destination ?Transaction ?Org)
                (origin ?Transaction ?Customer)))))		 FinancialOntology.kif 3648-3659 If X is an instance of commercial service, Y is an agent of X, Z employs Y, and X ends up at W, then X has the purpose there exists V such that V is an instance of financial transaction, V ends up at Z, and V originates at W
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3693-3700 X customer representative Y for Z if, only if there exists W such that W is an instance of financial transaction, Z employs X, X is an agent of W, and W ends up at Y
(=>
    (and
        (instance ?Statement BankStatement)
        (statementAccount ?Statement ?Account))
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (or
                (origin ?Transaction
                    (CurrencyFn ?Account))
                (destination ?Transaction
                    (CurrencyFn ?Account)))
            (realization ?Statement ?Transaction))))		 FinancialOntology.kif 3943-3953 If X is an instance of bank statement and Y is a statement account of X, then there exists Z such that Z is an instance of financial transaction, Z originates at the currency of Y or Z ends up at the currency of Y, and X expresses the content of Z
(=>
    (instance ?PS PayStub)
    (exists (?FT ?O ?E)
        (and
            (instance ?FT FinancialTransaction)
            (origin ?FT ?O)
            (destination ?FT ?E)
            (refers ?PS ?FT))))		 Medicine.kif 3417-3424 If X is an instance of paystub, then there exist Y, Z, W such that Y is an instance of financial transaction, Y originates at Z, Y ends up at W, and X includes a reference to Y
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))		 UXExperimentalTerms.kif 1637-1641 If X is an attribute of Y and X is an instance of account attribute, then Y is an instance of financial transaction
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Utilities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (or
                        (instance ?EV Removing)
                        (instance ?THING Sewage))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Electron)
                        (instance ?THING Water)
                        (and
                            (instance ?THING PureSubstance)
                            (capability Combustion patient ?THING)))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 FinancialTransaction)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 948-971 If X is an instance of organization and utilities is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing or W is an instance of sewage (6) W is a patient of Y (7) W is an instance of electron or W is an instance of water or W is an instance of pure substance (8) W is capable of doing burning as a patient (9) V is a member of X (10) U is an instance of financial transaction (11) V is an agent of U (12) W is a patient of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners