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 11731-11732
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 11730-11730 Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11729-11729 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 332-347
No TPTP formula. May not be expressible in strict first order. Merge.kif 11734-11738
No TPTP formula. May not be expressible in strict first order. Merge.kif 11757-11768
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 2017-2038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29371-29380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29382-29392
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 2761-2773
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 306-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 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 30356-30371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30323-30338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30373-30387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30340-30354
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 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