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...

VerbNet: berry-13.7|antique, obtain-13.5.2|purchase, pay-68|spend, pay-68|spend, get-13.5.1|get, send-11.1|import, pay-68|pay, obtain-13.5.2|purchase, pay-68|spend, pay-68|tithe,


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 11080-11081
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 11079-11079 Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11078-11078 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 11093-11105 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 11083-11087
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2144-2157
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2133-2142
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2045-2062
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3871-3906
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 3436-3440
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 28186-28195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28197-28207
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3737-3746
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3748-3758
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1506-1518
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3074
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3297-3316
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3258-3275
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 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
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 1451-1465
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1032-1039
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 860-870
No TPTP formula. May not be expressible in strict first order. Cars.kif 5122-5128
No TPTP formula. May not be expressible in strict first order. Cars.kif 5109-5114
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners