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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__Selling,s__ChineseLanguage,'"这是一种 FinancialTransaction, 它发生在当一样 Physical 的实例,用来换取一种 CurrencyMeasure 实例的时候。 "')

chinese_format.kif 3109-3110
s__documentation(s__Selling,s__EnglishLanguage,'"A FinancialTransaction in which an instance of Physical is exchanged for an instance of CurrencyMeasure."')

Merge.kif 11363-11364
s__instance(s__Selling,s__SetOrClass)

s__subclass(s__Selling,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

Merge.kif 11362-11362 Selling is a subclass of financial transaction

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


s__relatedInternalConcept(s__Buying,s__Selling)

Merge.kif 11352-11352 Buying is internally related to selling
s__instance(s__Auctioning,s__SetOrClass)

s__instance(s__Selling,s__SetOrClass)

s__subclass(s__Auctioning,s__Selling)

UXExperimentalTerms.kif 411-411 Auction is a subclass of selling
s__termFormat(s__ChineseLanguage,s__Selling,'"出售"')

chinese_format.kif 1143-1143
s__termFormat(s__EnglishLanguage,s__Selling,'"selling"')

english_format.kif 1508-1508

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
( ! [V__AGENT,V__SELL] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__SELL,s__Selling) &
             s__agent(V__SELL,V__AGENT))
         =>
         (s__origin(V__SELL,V__AGENT)))))
)
)

Merge.kif 11380-11384
( ! [V__OBJ,V__TRANS] :
   (((s__instance(V__TRANS,s__Selling) &
         s__attribute(V__TRANS,s__CBT) &
         s__patient(V__TRANS,V__OBJ)
       &
       s__instance(V__OBJ,s__Object))
     =>
     (( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] :
         ((s__instance(V__BUYER,s__Agent) &
             s__instance(V__SELLER,s__Agent) &
             s__destination(V__TRANS,V__BUYER)
           &
           s__agent(V__TRANS,V__SELLER)
         &
         s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) &
         s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) &
         s__located(V__SELLER,V__SELLER_LOCATION)
       &
       s__located(V__BUYER,V__BUYER_LOCATION)
     &
     ~((V__BUYER_LOCATION = V__SELLER_LOCATION)))))))
)
)

UXExperimentalTerms.kif 2031-2048

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


( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BUY] :
               ((s__instance(V__BUY,s__Buying) &
                   s__agent(V__BUY,V__AGENT1)
                 &
                 s__origin(V__BUY,V__AGENT2)
               &
               s__patient(V__BUY,V__OBJECT))))
       =>
       ( ? [V__SELL] :
         ((s__instance(V__SELL,s__Selling) &
             s__agent(V__SELL,V__AGENT2)
           &
           s__destination(V__SELL,V__AGENT1)
         &
         s__patient(V__SELL,V__OBJECT)))))
&
(( ? [V__SELL] :
   ((s__instance(V__SELL,s__Selling) &
       s__agent(V__SELL,V__AGENT2)
     &
     s__destination(V__SELL,V__AGENT1)
   &
   s__patient(V__SELL,V__OBJECT))))
=>
( ? [V__BUY] :
((s__instance(V__BUY,s__Buying) &
s__agent(V__BUY,V__AGENT1)
&
s__origin(V__BUY,V__AGENT2)
&
s__patient(V__BUY,V__OBJECT))))))))
)
)

Merge.kif 11366-11378 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
( ! [V__SELLING,V__SELLINGS] :
   (((s__instance(V__SELLING,s__Physical) &
         s__instance(V__SELLINGS,s__Collection))
       =>
       (((s__ASPFn(V__SELLINGS)
           &
           s__member(V__SELLING,V__SELLINGS))
       =>
       (s__instance(V__SELLING,s__Selling)))))
)
)

UXExperimentalTerms.kif 3484-3488
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
( ! [V__X,V__SELL] :
   ((s__instance(V__SELL,s__Process) =>
       (((s__attribute(V__X,s__DutyFree) &
             s__instance(V__X,s__Store))
           =>
           (( ! [V__OBJ] :
               (((s__instance(V__SELL,s__Selling) &
                     s__patient(V__SELL,V__OBJ)
                   &
                   s__located(V__SELL,V__X)
                 &
                 s__instance(V__OBJ,s__Product))
               =>
               (s__attribute(V__OBJ,s__DutyFree)))))))))
)
)

Hotel.kif 1441-1452
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (( ? [V__SELLING] :
           ((s__instance(V__SELLING,s__Selling) &
               s__agent(V__SELLING,V__MEMBER)
             &
             s__eCommerceSite(V__SELLING,V__SITE)
           &
           s__during(s__WhenFn(V__SELLING)
        ,V__INT))))))))
)
)

UXExperimentalTerms.kif 3790-3799
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (~(( ? [V__SELLING] :
             ((s__instance(V__SELLING,s__Selling) &
                 s__agent(V__SELLING,V__MEMBER)
               &
               s__eCommerceSite(V__SELLING,V__SITE)
             &
             s__earlier(s__WhenFn(V__SELLING)
          ,V__INT)))))))))
)
)

UXExperimentalTerms.kif 3801-3811
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__PutOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Sell] :
         ((s__instance(V__Sell,s__Selling) &
             s__patient(V__Sell,V__Stocks)
           &
           s__time(V__Sell,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2708-2720
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__AgricultureForestryFishingAndHunting))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Agent) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__EV,V__MEM)
             &
             ( ? [V__THING, V__EV2, V__MEM2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Killing) |
                       s__instance(V__EV,s__Maintaining))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Animal) |
                     s__instance(V__THING,s__Plant))
                   &
                   ~(s__instance(V__THING,s__Human))
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. naics.kif 7960-7985
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__ApparelManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__Clothing) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 2194-2210
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__BeverageAndTobaccoProductManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     (s__instance(V__THING,s__Beverage) |
                       s__instance(V__THING,s__TobaccoProduct))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 1837-1855
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Object) &
                   (s__capability(s__Constructing,s__resource__m,V__THING)
                   |
                   s__capability(s__Agriculture,s__resource__m,V__THING))
               &
               s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7249-7264
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__ChemicalManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__PureSubstance) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 3132-3148
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__ClothingAndClothingAccessoriesStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Clothing) &
                   s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7516-7528
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ComputerAndElectronicProductManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Computer) |
                           (s__instance(V__THING,s__Machine) &
                             ( ? [V__EV3] :
                               ((s__instance(V__EV3,s__Process) &
                                   (s__patient(V__EV3,V__THING)
                                   &
                                   s__resource(V__EV3,V__ELEC)
                                 &
                                 s__instance(V__ELEC,s__Electricity)))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5133-5157
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Construction))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Constructing) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 1080-1095
No TPTP formula. May not be expressible in strict first order. naics.kif 8743-8763
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ElectricalEquipmentApplianceAndComponentManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Machine) &
                           ( ? [V__EV3] :
                             ((s__instance(V__EV3,s__Process) &
                                 (s__patient(V__EV3,V__THING)
                                 &
                                 s__resource(V__EV3,V__ELEC)
                               &
                               s__instance(V__ELEC,s__Electricity))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5428-5450
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__ElectronicsAndApplianceStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__ElectricDevice) &
                   s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7193-7205
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FabricatedMetalProductManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__Metal) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 4232-4248
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FoodAndBeverageStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   (s__instance(V__THING,s__FoodForFn(s__Animal))
                   |
                   s__instance(V__THING,s__Beverage))
                 &
                 s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7326-7340
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FoodManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Cooking) &
                     s__instance(V__EV,s__Manufacture) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 1361-1377
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FurnitureAndHomeFurnishingsStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Furniture) &
                   s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7132-7144
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FurnitureAndRelatedProductManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__Furniture) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 6001-6017

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