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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Buying

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 11434-11435
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 11433-11433 Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11432-11432 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 1501-1501

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11447-11459 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 1979-2000
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 332-347
No TPTP formula. May not be expressible in strict first order. Merge.kif 11437-11441
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2149-2162
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2138-2147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2050-2067
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
No TPTP formula. May not be expressible in strict first order. Catalog.kif 425-440

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29319-29328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29330-29340
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3441-3445
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3742-3751
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3753-3763
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 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2715-2727
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
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 304-319
No TPTP formula. May not be expressible in strict first order. Catalog.kif 349-365
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30304-30319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30271-30286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30321-30335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30288-30302
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 1036-1043

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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