Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 12004-12004 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 12006-12008 Financial transaction is a subclass of transaction

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


(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 428-428 Deposit is a subclass of financial transaction
(subclass Withdrawal FinancialTransaction) FinancialOntology.kif 457-457 Withdrawing from an account is a subclass of financial transaction
(subclass Investing FinancialTransaction) FinancialOntology.kif 485-485 Investing is a subclass of financial transaction
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 509-509 Automatic transaction is a subclass of financial transaction
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 892-892 Charging a fee is a subclass of financial transaction
(subclass Call FinancialTransaction) FinancialOntology.kif 1440-1440 Call is a subclass of financial transaction
(subclass Refinancing FinancialTransaction) FinancialOntology.kif 1461-1461 Refinancing is a subclass of financial transaction
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1816-1816 Asset allocation is a subclass of financial transaction
(subclass PlacingAnOrder FinancialTransaction) FinancialOntology.kif 1967-1967 Placing an order is a subclass of financial transaction
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2086-2086 Liquidation is a subclass of financial transaction
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2163-2163 Financial default is a subclass of financial transaction
(subclass StockSplit FinancialTransaction) FinancialOntology.kif 2237-2237 Stock split is a subclass of financial transaction
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2766-2766 Exercise an option is a subclass of financial transaction
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2846-2846 Filling an order is a subclass of financial transaction
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2850-2850 Cancelling an order is a subclass of financial transaction
(subclass OptionStrategy FinancialTransaction) FinancialOntology.kif 3096-3096 Option strategy 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
-------------------------


(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 682-682 The number 2 argument of minimum balance is a subclass of financial transaction
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 897-897 The number 2 argument of service fee is an instance of financial transaction
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1982-1982 The number 1 argument of order for is an instance of financial transaction
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1983-1983 The number 2 argument of order for is a subclass of financial transaction
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3897-3897 The number 1 argument of confirmation number is an instance of financial transaction
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 4009-4009 The number 2 argument of daily limit is a subclass of financial transaction
(domain transactionAmount 1 FinancialTransaction) Merge.kif 12020-12020 The number 1 argument of transaction amount is an instance of financial transaction
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 8383-8383 The number 1 argument of loss is an instance of financial transaction
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 8809-8809 The number 1 argument of profit is an instance of financial transaction
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 22776-22776 The number 2 argument of occupation is a subclass of financial transaction
(domain broker 1 FinancialTransaction) UXExperimentalTerms.kif 1685-1685 The number 1 argument of broker is an instance of financial transaction
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1705-1705 The number 1 argument of e_commerce site is an instance of financial transaction

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


(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 1035-1043 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 1145-1158 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 1255-1263 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 3534-3541 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 3561-3572 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 3833-3845 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 3856-3870 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 3925-3932 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 3977-3984 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
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 12010-12015 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 ?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 1727-1746 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 1759-1778 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 1791-1810 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 2886-2902 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
-------------------------


(=>
    (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 6644-6651 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 1208-1223 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 3608-3619 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 3653-3660 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 3903-3913 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 3378-3385 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
        (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 10789-10801 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 2455-2465 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 8262-8268 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 8934-8940 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 24801-24807 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 ?EV ?P ?PAY)
            (and
                (employs ?OWN ?EMP)
                (possesses ?OWN ?X)
                (instance ?P Human)
                (instance ?PAY FinancialTransaction)
                (agent ?PAY ?P)
                (patient ?PAY ?EMP)
                (confersRight ?EMP ?EV ?P)
                (instance ?EV Eating)
                (agent ?EV ?P)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 24920-24934 If X is an instance of restaurant building, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y employs Z (3) Y possesses X (4) V is an instance of human (5) U is an instance of financial transaction (6) V is an agent of U (7) Z is a patient of U (8) W allows V to perform task of the type Z (9) W is an instance of eating (10) V is an agent of W (11) W is located at X
(=>
    (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 32139-32150 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
(=>
    (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 954-977 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 is open source software produced by Articulate Software and its partners