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

VerbNet: get-13.5.1|fetch, get-13.5.1|fetch, get-13.5.1|fetch, give-13.1|hawk, give-13.1|hawk, give-13.1|hawk, give-13.1|hawk, give-13.1|hawk, give-13.1|hawk,


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 11080-11081
s__instance(s__Selling,s__SetOrClass)

s__subclass(s__Selling,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

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

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


s__relatedInternalConcept(s__Buying,s__Selling)

Merge.kif 11069-11069 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 409-409 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 1965-1983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
( ! [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 11097-11101
( ! [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 2026-2043

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 11083-11095 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__Object) &
       s__instance(V__SELLINGS,s__Collection))
     =>
     (s__ASPFn(V__SELLINGS)
     &
     s__member(V__SELLING,V__SELLINGS))
=>
s__instance(V__SELLING,s__Selling) )
)

UXExperimentalTerms.kif 3479-3483
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1983
( ! [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 1427-1438
( ! [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 3785-3794
( ! [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 3796-3806
( ! [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 2689-2701
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
( ! [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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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 8659-8679
( ! [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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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__Object) &
           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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners