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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Selling

Sigma KEE - Selling
Selling(selling)IPO, advertising, bait_and_switch, bazaar, black_marketeer, book_fair, bookfair, boot_sale, bootleg, bring, bring_in, capitalisation, capitalization, car_boot_sale, channel, clear, clearance_sale, close, close_out, closeout, commercialisation, commercialization, commercially, conditional_sale, contract_of_hazard, craft_fair, cut-rate_sale, de-access, deal, discount_business, distribution_channel, divestiture, dump, dumping, dutch_auction, execution_sale, export, fair, fetch, fire_sale, fob_off, foist_off, forced_sale, garage_sale, going-out-of-business_sale, hard_sell, harlotry, hawk, hawking, huckster...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3109-3110
No TPTP formula. May not be expressible in strict first order. Merge.kif 11741-11742
No TPTP formula. May not be expressible in strict first order. Merge.kif 11740-11740 Selling is a subclass of financial transaction

appearance as argument number 2
-------------------------


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. UXExperimentalTerms.kif 411-411 Auction is a subclass of selling
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1143-1143
No TPTP formula. May not be expressible in strict first order. english_format.kif 1503-1503

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
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. Merge.kif 11770-11774
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2031-2048

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1454-1465
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3484-3488
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3790-3799
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3801-3811
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. FinancialOntology.kif 2775-2787
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. naics.kif 7953-7978
No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210
No TPTP formula. May not be expressible in strict first order. naics.kif 1837-1855
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141
No TPTP formula. May not be expressible in strict first order. naics.kif 7509-7521
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 1080-1095
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. naics.kif 7186-7198
No TPTP formula. May not be expressible in strict first order. naics.kif 4225-4241
No TPTP formula. May not be expressible in strict first order. naics.kif 7319-7333
No TPTP formula. May not be expressible in strict first order. naics.kif 1361-1377
No TPTP formula. May not be expressible in strict first order. naics.kif 7125-7137
No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010

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