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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 实例的时候。 "')

chinese_format.kif 3107-3108
s__documentation(s__Buying,s__EnglishLanguage,'"A FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of Physical."')

Merge.kif 11353-11354
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 11352-11352 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 11351-11351 Buying is a subclass of financial transaction

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

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


( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__AMT,s__CurrencyMeasure) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__ITEM,s__Object) &
         s__instance(V__ITEM,s__Class) &
         s__instance(V__X,s__Object))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__corkageFee(V__AMT,V__ITEM,V__AGENT)
         &
         s__instance(V__X,V__ITEM)
       &
       ~(( ? [V__B] :
           ((s__instance(V__B,s__Buying) &
               s__patient(V__B,V__X)
             &
             s__destination(V__B,V__CUST)
           &
           s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
(( ? [V__C] :
((s__instance(V__C,s__Corkage) &
   s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))))))
)
)

Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Catalog.kif 328-343
( ! [V__AGENT,V__BUY] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__BUY,s__Buying) &
             s__agent(V__BUY,V__AGENT))
         =>
         (s__destination(V__BUY,V__AGENT)))))
)
)

Merge.kif 11356-11360
( ! [V__AGENT,V__PURCHASE,V__BUYING2,V__INST,V__BUYING1] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__INST,s__Object))
       =>
       (((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 2149-2162
( ! [V__PURCHASE,V__BUYING2,V__BUYING1] :
   (((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 2138-2147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
( ! [V__OBJ,V__TRANS] :
   (((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 2050-2067
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
No TPTP formula. May not be expressible in strict first order. Catalog.kif 421-436

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


( ! [V__BUYINGS,V__BUYING] :
   (((s__instance(V__BUYINGS,s__Collection) &
         s__instance(V__BUYING,s__Physical))
       =>
       (((s__ABPFn(V__BUYINGS)
           &
           s__member(V__BUYING,V__BUYINGS))
       =>
       (s__instance(V__BUYING,s__Buying)))))
)
)

UXExperimentalTerms.kif 3441-3445
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((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 28668-28677
( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((s__buys(V__CUST,V__AGENT,V__ITEM)
           &
           s__instance(V__ITEM,s__Proposition))
         =>
         (( ? [V__TRANS, V__PROC] :
             ((s__instance(V__PROC,s__Process) &
                 (s__agent(V__TRANS,V__CUST)
                 &
                 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 28679-28689
( ! [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__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__INT))))))))
)
)

UXExperimentalTerms.kif 3742-3751
( ! [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__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 3753-3763
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 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
( ! [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__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(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2715-2727
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
( ! [V__OBJECT,V__OBJ,V__SITE,V__LISTING,V__BUYER] :
   (((s__instance(V__LISTING,s__WebListing) &
         s__instance(V__BUYER,s__Agent))
       =>
       (((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 301-315
No TPTP formula. May not be expressible in strict first order. Catalog.kif 345-361
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29652-29667
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__SetOrClass) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__Integer))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__B,s__Buying) &
                   s__during(s__WhenFn(V__B)
                ,V__T)
               &
               s__objectTransferred(V__B,V__G)
             &
             s__transactionAmount(V__B,V__C)
           &
           s__agent(V__B,V__A)
         &
         s__instance(V__G,s__Collection) &
         s__memberType(V__G,V__O)
       &
       s__memberCount(V__G,V__N)
     &
     s__possesses(V__A,V__G)))))))))
)
)

Mid-level-ontology.kif 29619-29634
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29669-29683
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__Class) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__PhysicalQuantity))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__G,s__Object) &
                   (s__instance(V__B,s__Buying) &
                     s__during(s__WhenFn(V__B)
                  ,V__T)
                 &
                 s__objectTransferred(V__B,V__G)
               &
               s__transactionAmount(V__B,V__C)
             &
             s__agent(V__B,V__A)
           &
           s__instance(V__G,V__O)
         &
         s__measure(V__G,V__N)
       &
       s__possesses(V__A,V__G))))))))))
)
)

Mid-level-ontology.kif 29636-29650
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__instance(V__BUYING,s__FinancialTransaction) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__BUYER,s__Human))
       =>
       (((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 1036-1043

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