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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Buying

Sigma KEE - Buying
Buying
more pictures...
Acquistare, Comprar, Seward's_Folly, acheter, amortisation, amortization, antique, any-and-all_bid, bargain, blow, boughten, bull, bumibili, 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, kraya, leveraged_buyout, mail-order_buying, market, outlay...

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


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

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

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

pictureList.kif 6223-6223
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/3/3e/Old_lady_buying_flowers.JPG')

pictureList.kif 6226-6226
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/8/8d/People_buying_tickets.jpeg')

pictureList.kif 6225-6225
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/8/8f/Maximinus_denarius.jpg')

pictureList.kif 5896-5896
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/c/c2/Commerce-alimentation-generale-paris.jpg')

pictureList.kif 6222-6222
s__externalImage(s__Buying,'http://upload.wikimedia.org/wikipedia/commons/e/e8/Buying_food.jpg')

pictureList.kif 6224-6224
s__relatedInternalConcept(s__Buying,s__Selling)

Merge.kif 11796-11796
s__instance(s__FinancialTransaction,s__SetOrClass)

Merge.kif 11795-11795

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


s__termFormat(s__ChineseLanguage,s__Buying,'购买')

chinese_format.kif 1142-1142
s__termFormat(s__EnglishLanguage,s__Buying,'buying')

english_format.kif 829-829
s__termFormat(s__FrenchLanguage,s__Buying,'acheter')

french_format.kif 820-820
s__termFormat(s__Hindi,s__Buying,'kraya')

terms-hindi.txt 352-352
s__termFormat(s__ItalianLanguage,s__Buying,'Acquistare')

terms-it.txt 353-353
s__termFormat(s__PortugueseLanguage,s__Buying,'Comprar')

portuguese_format.kif 772-772
s__termFormat(s__cb__m,s__Buying,'pagpalit')

terms-cb.txt 357-357
s__termFormat(s__cz__m,s__Buying,'buying')

terms-cz.txt 391-391
s__termFormat(s__tg__m,s__Buying,'bumibili')

terms-tg.txt 356-356

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


( ∀ [V__AGENT1,V__AGENT2,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)))
<⇒
(∃ [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))))
)

Merge.kif 11814-11826
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__BUY,V__AGENT]
   ((s__instance(V__BUY,s__Buying) ∧
       s__agent(V__BUY,V__AGENT))
   ⇒
   s__destination(V__BUY,V__AGENT))
)

Merge.kif 11802-11806
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
( ∀ [V__PURCHASE,V__BUYING1,V__BUYING2,V__AGENT,V__INST]
   ((s__instance(V__PURCHASE,s__TransactionCollection) ∧
       s__instance(V__BUYING1,s__Buying) ∧
       s__instance(V__BUYING2,s__Buying) ∧
       s__subProcess(V__BUYING1,V__PURCHASE)
     ∧
     s__subProcess(V__BUYING2,V__PURCHASE)
   ∧
   s__agent(V__PURCHASE,V__AGENT)

s__instrument(V__PURCHASE,V__INST))

(s__agent(V__BUYING1,V__AGENT)

s__agent(V__BUYING2,V__AGENT)

s__instrument(V__BUYING1,V__INST)

s__instrument(V__BUYING2,V__INST)))
)

UXExperimentalTerms.kif 2146-2159
( ∀ [V__PURCHASE,V__BUYING1,V__BUYING2]
   ((s__instance(V__PURCHASE,s__TransactionCollection) ∧
       s__instance(V__BUYING1,s__Buying) ∧
       s__instance(V__BUYING2,s__Buying) ∧
       s__subProcess(V__BUYING1,V__PURCHASE)
     ∧
     s__subProcess(V__BUYING2,V__PURCHASE))

(s__WhenFn(V__BUYING1)
= s__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__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__agent(V__TRANS,V__BUYER)
     ∧
     s__origin(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 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__ABPFn(V__BUYINGS)
     ∧
     s__member(V__BUYING,V__BUYINGS))

s__instance(V__BUYING,s__Buying))
)

UXExperimentalTerms.kif 3438-3442
( ∀ [V__CUST,V__AGENT,V__ITEM]
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     ∧
     s__instance(V__ITEM,s__Physical))
   ⇒
   (∃ [V__TRANS]
     (s__instance(V__TRANS,s__Buying) ∧
       s__patient(V__TRANS,V__ITEM)
     ∧
     s__agent(V__TRANS,V__CUST)
   ∧
   s__origin(V__TRANS,V__AGENT))))
)

Mid-level-ontology.kif 28049-28058
( ∀ [V__CUST,V__AGENT,V__ITEM]
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     ∧
     s__instance(V__ITEM,s__Proposition))
   ⇒
   (∃ [V__TRANS,V__PROC]
     (s__realization(V__PROC,V__ITEM)
     ∧
     s__instance(V__TRANS,s__Buying) ∧
     s__patient(V__TRANS,V__PROC)
   ∧
   s__origin(V__TRANS,V__AGENT))))
)

Mid-level-ontology.kif 28060-28069
( ∀ [V__INT,V__SITE,V__COLL,V__MEMBER,V__INTE]
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     ∧
     s__member(V__MEMBER,V__COLL))

(∃ [V__BUYING]
   (s__instance(V__BUYING,s__Buying) ∧
     s__agent(V__BUYING,V__MEMBER)
   ∧
   s__eCommerceSite(V__BUYING,V__SITE)

s__during(s__WhenFn(V__BUYING)
,V__INTE))))
)

UXExperimentalTerms.kif 3730-3739
( ∀ [V__INT,V__SITE,V__COLL,V__MEMBER]
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     ∧
     s__member(V__MEMBER,V__COLL))

(¬ (∃ [V__BUYING]
     (s__instance(V__BUYING,s__Buying) ∧
       s__agent(V__BUYING,V__MEMBER)
     ∧
     s__eCommerceSite(V__BUYING,V__SITE)
   ∧
   s__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__Exercise,V__Option,V__Time,V__Stocks]
   ((s__instance(V__Exercise,s__ExerciseAnOption) ∧
       s__patient(V__Exercise,V__Option)
     ∧
     s__property(V__Option,s__CallOption) ∧
     s__time(V__Exercise,V__Time)
   ∧
   s__underlier(V__Option,V__Stocks))

(∃ [V__Buy]
(s__instance(V__Buy,s__Buying) ∧
   s__patient(V__Buy,V__Stocks)

s__time(V__Buy,V__Time)

s__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__listingBuyer(V__LISTING,V__BUYER)
     ∧
     s__instance(V__OBJ,s__Object) ∧
     s__instance(V__SITE,s__WebSite) ∧
     s__patient(V__LISTING,V__OBJECT)
   ∧
   s__hostedOn(V__LISTING,V__SITE))

(∃ [V__BUYING]
(s__instance(V__BUYING,s__Buying) ∧
   s__patient(V__BUYING,V__OBJ)

s__eCommerceSite(V__BUYING,V__SITE)

s__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__BUYER,V__SITE,V__BUYING]
   ((s__webPurchases(V__PURCHASES,V__BUYER,V__SITE)
     ∧
     s__member(V__BUYING,V__PURCHASES))

(s__instance(V__BUYING,s__Buying) ∧
   s__agent(V__BUYING,V__BUYER)

s__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__attribute(V__O,s__NewItem) ⇒
     (¬ (∃ [V__B]
         (s__instance(V__B,s__Buying) ∧
           s__objectTransferred(V__B,V__O)))))
)

Cars.kif 5113-5119
( ∀ [V__O]
   (s__attribute(V__O,s__UsedItem) ⇒
     (∃ [V__B]
       (s__instance(V__B,s__Buying) ∧
         s__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