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


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

Merge.kif 11857-11858
s__documentation(s__Buying,s__EnglishLanguage,'A FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of Physical.')

Merge.kif 11855-11856
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg')

pictureList.kif 6223-6223 "http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg" is a URL depicting buying
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG')

pictureList.kif 6226-6226 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG" is a URL depicting buying
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg')

pictureList.kif 6225-6225 "http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg" is a URL depicting buying
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg')

pictureList.kif 5896-5896 "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg" is a URL depicting buying
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce-alimentation-generale-paris.jpg')

pictureList.kif 6222-6222 "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce-alimentation-generale-paris.jpg" is a URL depicting buying
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg')

pictureList.kif 6224-6224 "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg" is a URL depicting buying
s__relatedInternalConcept(s__Buying,s__Selling)

Merge.kif 11854-11854 Buying is internally related to selling
s__subclass(s__Buying,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__instance(s__Buying,s__SetOrClass)

Merge.kif 11853-11853 Buying is a subclass of financial transaction

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


s__termFormat(s__ChineseLanguage,s__Buying,'购买')

chinese_format.kif 1142-1142 "购买" is the printable form of buying in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Buying,'buying')

english_format.kif 1503-1503 "buying" is the printable form of buying in english language
s__termFormat(s__JapaneseLanguage,s__Buying,'購買')

english_format.kif 1504-1504 "購買" is the printable form of buying in japanese language

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


( ∀ [V__AGENT2,V__AGENT1,V__OBJECT]
   ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent))
    s__=>((s__exists__m[V__BUY]
         (s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT1)
        s__and__ms__origin(V__BUY,V__AGENT2)
      s__and__ms__patient(V__BUY,V__OBJECT)))
s__<⇒
(s__exists__m[V__SELL]
   (s__instance(V__SELL,s__Selling)s__and__ms__agent(V__SELL,V__AGENT2)
  s__and__ms__destination(V__SELL,V__AGENT1)
s__and__ms__patient(V__SELL,V__OBJECT)))))
)

Merge.kif 11872-11884 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
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
( ∀ [V__AGENT,V__BUY]
   (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT))
    s__=>s__destination(V__BUY,V__AGENT)))
)

Merge.kif 11860-11864
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
( ∀ [V__AGENT,V__INST,V__PURCHASE,V__BUYING1,V__BUYING2]
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__INST,s__Object))
    s__=>((s__instance(V__PURCHASE,s__TransactionCollection)s__and__ms__instance(V__BUYING1,s__Buying)s__and__ms__instance(V__BUYING2,s__Buying)s__and__ms__subProcess(V__BUYING1,V__PURCHASE)
      s__and__ms__subProcess(V__BUYING2,V__PURCHASE)
    s__and__ms__agent(V__PURCHASE,V__AGENT)
  s__and__ms__instrument(V__PURCHASE,V__INST))
s__=>(s__agent(V__BUYING1,V__AGENT)
s__and__ms__agent(V__BUYING2,V__AGENT)
s__and__ms__instrument(V__BUYING1,V__INST)
s__and__ms__instrument(V__BUYING2,V__INST))))
)

UXExperimentalTerms.kif 2146-2159
( ∀ [V__PURCHASE,V__BUYING1,V__BUYING2]
   ((s__instance(V__PURCHASE,s__TransactionCollection)s__and__ms__instance(V__BUYING1,s__Buying)s__and__ms__instance(V__BUYING2,s__Buying)s__and__ms__subProcess(V__BUYING1,V__PURCHASE)
    s__and__ms__subProcess(V__BUYING2,V__PURCHASE))
s__=>(s__WhenFn(V__BUYING1)
s__equal__ms__WhenFn(V__BUYING2)))
)

UXExperimentalTerms.kif 2135-2144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
( ∀ [V__TRANS,V__OBJ]
   ((s__instance(V__TRANS,s__Buying)s__and__ms__attribute(V__TRANS,s__CBT)s__and__ms__patient(V__TRANS,V__OBJ)
    s__and__ms__instance(V__OBJ,s__Object))
  s__=>(s__exists__m[V__SELLER,V__BUYER,V__BUYER_LOCATION,V__SELLER_LOCATION]
     (s__instance(V__BUYER,s__Agent)s__and__ms__instance(V__SELLER,s__Agent)s__and__ms__agent(V__TRANS,V__BUYER)
    s__and__ms__origin(V__TRANS,V__SELLER)
  s__and__ms__instance(V__BUYER_LOCATION,s__GeoPoliticalArea)s__and__ms__instance(V__SELLER_LOCATION,s__GeoPoliticalArea)s__and__ms__located(V__SELLER,V__SELLER_LOCATION)
s__and__ms__located(V__BUYER,V__BUYER_LOCATION)
s__and__m(s__not__m(V__BUYER_LOCATIONs__equal__mV__SELLER_LOCATION)))))
)

UXExperimentalTerms.kif 2047-2064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3864-3899
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427

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


( ∀ [V__BUYINGS,V__BUYING]
   ((s__instance(V__BUYINGS,s__Collection)s__and__ms__instance(V__BUYING,s__Object))
    s__=>((s__ABPFn(V__BUYINGS)
      s__and__ms__member(V__BUYING,V__BUYINGS))
  s__=>s__instance(V__BUYING,s__Buying)))
)

UXExperimentalTerms.kif 3438-3442
( ∀ [V__AGENT,V__CUST,V__ITEM]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Physical))
    s__=>(s__exists__m[V__TRANS]
       (s__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__ITEM)
      s__and__ms__agent(V__TRANS,V__CUST)
    s__and__ms__origin(V__TRANS,V__AGENT)))))
)

Mid-level-ontology.kif 28129-28138
( ∀ [V__AGENT,V__CUST,V__ITEM]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Proposition))
    s__=>(s__exists__m[V__TRANS,V__PROC]
       (s__instance(V__PROC,s__Process)s__and__m(s__realization(V__PROC,V__ITEM)
      s__and__ms__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__PROC)
    s__and__ms__origin(V__TRANS,V__AGENT))))))
)

Mid-level-ontology.kif 28140-28149
( ∀ [V__MEMBER,V__SITE,V__COLL,V__INT,V__INTE]
   ((s__instance(V__MEMBER,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval)s__and__ms__instance(V__INTE,s__TimeInterval))
    s__=>((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
      s__and__ms__member(V__MEMBER,V__COLL))
  s__=>(s__exists__m[V__BUYING]
     (s__instance(V__BUYING,s__Buying)s__and__ms__agent(V__BUYING,V__MEMBER)
    s__and__ms__eCommerceSite(V__BUYING,V__SITE)
  s__and__ms__during(s__WhenFn(V__BUYING)
,V__INTE)))))
)

UXExperimentalTerms.kif 3730-3739
( ∀ [V__MEMBER,V__SITE,V__COLL,V__INT]
   ((s__instance(V__MEMBER,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval))
    s__=>((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
      s__and__ms__member(V__MEMBER,V__COLL))
  s__=>(s__not__m(s__exists__m[V__BUYING]
     (s__instance(V__BUYING,s__Buying)s__and__ms__agent(V__BUYING,V__MEMBER)
    s__and__ms__eCommerceSite(V__BUYING,V__SITE)
  s__and__ms__earlier(s__WhenFn(V__BUYING)
,V__INT))))))
)

UXExperimentalTerms.kif 3741-3751
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 3093-3108
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3260-3277
( ∀ [V__Time,V__Option,V__Stocks,V__Exercise]
   ((s__instance(V__Time,s__TimePosition)s__and__ms__instance(V__Option,s__Agreement)s__and__ms__instance(V__Stocks,s__FinancialInstrument))
    s__=>((s__instance(V__Exercise,s__ExerciseAnOption)s__and__ms__patient(V__Exercise,V__Option)
      s__and__ms__property(V__Option,s__CallOption)s__and__ms__time(V__Exercise,V__Time)
    s__and__ms__underlier(V__Option,V__Stocks))
s__=>(s__exists__m[V__Buy]
   (s__instance(V__Buy,s__Buying)s__and__ms__patient(V__Buy,V__Stocks)
  s__and__ms__time(V__Buy,V__Time)
s__and__ms__measure(V__Stocks,s__MeasureFn(100,s__ShareUnit))))))
)

FinancialOntology.kif 2674-2686
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
( ∀ [V__LISTING,V__BUYER,V__OBJ,V__SITE,V__OBJECT]
   ((s__instance(V__LISTING,s__WebListing)s__and__ms__instance(V__BUYER,s__Agent))
    s__=>((s__listingBuyer(V__LISTING,V__BUYER)
      s__and__ms__instance(V__OBJ,s__Object)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__patient(V__LISTING,V__OBJECT)
    s__and__ms__hostedOn(V__LISTING,V__SITE))
s__=>(s__exists__m[V__BUYING]
   (s__instance(V__BUYING,s__Buying)s__and__ms__patient(V__BUYING,V__OBJ)
  s__and__ms__eCommerceSite(V__BUYING,V__SITE)
s__and__ms__agent(V__BUYING,V__BUYER)))))
)

UXExperimentalTerms.kif 105-117
No TPTP formula. May not be expressible in strict first order. Catalog.kif 295-309
No TPTP formula. May not be expressible in strict first order. Catalog.kif 339-355
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1454-1468
( ∀ [V__PURCHASES,V__BUYING,V__SITE,V__BUYER]
   ((s__instance(V__PURCHASES,s__Collection)s__and__ms__instance(V__BUYING,s__Object)s__and__ms__instance(V__BUYING,s__FinancialTransaction)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__SITE,s__Website)s__and__ms__instance(V__BUYER,s__Human))
    s__=>((s__webPurchases(V__PURCHASES,V__BUYER,V__SITE)
      s__and__ms__member(V__BUYING,V__PURCHASES))
  s__=>(s__instance(V__BUYING,s__Buying)s__and__ms__agent(V__BUYING,V__BUYER)
  s__and__ms__eCommerceSite(V__BUYING,V__SITE))))
)

UXExperimentalTerms.kif 1034-1041
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 864-874
( ∀ [V__O]
   (s__instance(V__O,s__Object)s__=>(s__attribute(V__O,s__NewItem)s__=>(s__not__m(s__exists__m[V__B]
         (s__instance(V__B,s__Buying)s__and__ms__objectTransferred(V__B,V__O))))))
)

Cars.kif 5113-5119
( ∀ [V__O]
   (s__instance(V__O,s__Object)s__=>(s__attribute(V__O,s__UsedItem)s__=>(s__exists__m[V__B]
         (s__instance(V__B,s__Buying)s__and__ms__objectTransferred(V__B,V__O)))))
)

Cars.kif 5100-5105
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1850-1860

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners