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. Merge.kif 16221-16222
No TPTP formula. May not be expressible in strict first order. Merge.kif 16219-16220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6223-6223 "http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6226-6226 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6225-6225 "http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5896-5896 "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6222-6222 "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce-alimentation-generale-paris.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6224-6224 "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order. Merge.kif 16218-16218 Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order. Merge.kif 16217-16217 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 "购买" is the printable form of buying in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2135-2135 "buying" is the printable form of buying in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2136-2136 "購買" is the printable form of buying in japanese language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16236-16248 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. Dining.kif 130-153
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 16224-16228
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
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 3864-3899
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. Mid-level-ontology.kif 28130-28139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28141-28150
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3730-3739
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3741-3751
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1509-1521
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 2674-2686
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
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 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1454-1468
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 864-874
No TPTP formula. May not be expressible in strict first order. Cars.kif 5113-5119
No TPTP formula. May not be expressible in strict first order. Cars.kif 5100-5105
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1850-1860

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