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 11738-11739
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 11737-11737 Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11736-11736 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. FinancialOntology.kif 2017-2038
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 337-352
No TPTP formula. May not be expressible in strict first order. Merge.kif 11741-11745
No TPTP formula. May not be expressible in strict first order. Merge.kif 11751-11762
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 3878-3913
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-445

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2017-2038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29467-29476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29478-29488
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 3744-3753
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3755-3765
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 2761-2773
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3586-3618
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 311-324
No TPTP formula. May not be expressible in strict first order. Catalog.kif 354-370
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2695-2711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30460-30475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30427-30442
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30477-30491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30444-30458
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