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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Buying
Buying(buying)
more pictures...
Seward's_Folly, amortisation, amortization, antique, any-and-all_bid, bargain, blow, boughten, bull, bust-up_takeover, buy, buy_back, buy_food, buy_into, buyback, buying, buyout, catalog_buying, charge, compensatory_spending, deficit_spending, disbursal, disbursement, dissipate, drop, economise, economize, expend, expending, expenditure, fool, fool_away, foot, friendly_takeover, fritter, fritter_away, frivol_away, get, go_Dutch, import, impulse-buy, leveraged_buyout, mail-order_buying, market, outlay, outsource, overpayment, pay, pick, pick_up...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3107-3108
No TPTP formula. May not be expressible in strict first order. Merge.kif 11135-11136
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6223-6223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6226-6226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6225-6225
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5896-5896
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6222-6222
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6224-6224
No TPTP formula. May not be expressible in strict first order. Merge.kif 11134-11134 Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11133-11133 Buying is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1142-1142
No TPTP formula. May not be expressible in strict first order. english_format.kif 1506-1506

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11148-11160 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. Merge.kif 11138-11142
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2146-2159
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2135-2144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2047-2064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3873-3908
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3438-3442
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28167-28176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28178-28188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3739-3748
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3750-3760
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1508-1520
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3260-3277
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2675-2687
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3581-3613
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 105-117
No TPTP formula. May not be expressible in strict first order. Catalog.kif 295-309
No TPTP formula. May not be expressible in strict first order. Catalog.kif 339-355
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2545-2561
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2609-2625
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1453-1467
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1034-1041
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 862-872
No TPTP formula. May not be expressible in strict first order. Cars.kif 5123-5129
No TPTP formula. May not be expressible in strict first order. Cars.kif 5110-5115
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1848-1858

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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