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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Buying
Buying(购买)
more pictures...

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


(documentation Buying ChineseLanguage "这是一种 FinancialTransaction, 它发生在当一种 CurrencyMeasure 的实例,用来换取一样 Physical 实例的时候。 ") chinese_format.kif 3107-3108
(documentation Buying EnglishLanguage "A FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of Physical.") Merge.kif 11815-11816
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg") pictureList.kif 6223-6223
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG") pictureList.kif 6226-6226
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg") pictureList.kif 6225-6225
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg") pictureList.kif 5896-5896
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce-alimentation-generale-paris.jpg") pictureList.kif 6222-6222
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg") pictureList.kif 6224-6224
(relatedInternalConcept Buying Selling) Merge.kif 11814-11814 购买出售 是 内部相关
(subclass Buying FinancialTransaction) Merge.kif 11813-11813 购买金融交易subclass

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


(termFormat ChineseLanguage Buying "购买") chinese_format.kif 1142-1142
(termFormat EnglishLanguage Buying "buying") english_format.kif 1501-1501

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


(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2022-2043
(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (instance ?D Drinking)
        (agent ?D ?CUST)
        (resource ?D ?X))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (refers ?C ?X)
            (destination ?C ?AGENT))))
Dining.kif 130-150
(=>
    (and
        (instance ?B Buying)
        (patient ?B ?ITEM)
        (origin ?B ?AGENT)
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validPaymentType ?PS ?PAY))
    (modalAttribute
        (exists (?PAYMENT)
            (and
                (instance ?PAYMENT ?PAY)
                (subProcess ?PAYMENT ?B))) Likely))
Catalog.kif 337-352
(=>
    (and
        (instance ?BUY Buying)
        (agent ?BUY ?AGENT))
    (destination ?BUY ?AGENT))
Merge.kif 11818-11822
(=>
    (and
        (instance ?BUY Buying)
        (agent ?BUY ?AGENT1)
        (origin ?BUY ?AGENT2)
        (patient ?BUY ?OBJECT))
    (exists (?SELL)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT2)
            (destination ?SELL ?AGENT1)
            (patient ?SELL ?OBJECT))))
Merge.kif 11828-11839
(=>
    (and
        (instance ?PURCHASE TransactionCollection)
        (instance ?BUYING1 Buying)
        (instance ?BUYING2 Buying)
        (subProcess ?BUYING1 ?PURCHASE)
        (subProcess ?BUYING2 ?PURCHASE)
        (agent ?PURCHASE ?AGENT)
        (instrument ?PURCHASE ?INST))
    (and
        (agent ?BUYING1 ?AGENT)
        (agent ?BUYING2 ?AGENT)
        (instrument ?BUYING1 ?INST)
        (instrument ?BUYING2 ?INST)))
UXExperimentalTerms.kif 2146-2159
(=>
    (and
        (instance ?PURCHASE TransactionCollection)
        (instance ?BUYING1 Buying)
        (instance ?BUYING2 Buying)
        (subProcess ?BUYING1 ?PURCHASE)
        (subProcess ?BUYING2 ?PURCHASE))
    (equal
        (WhenFn ?BUYING1)
        (WhenFn ?BUYING2)))
UXExperimentalTerms.kif 2135-2144
(=>
    (and
        (instance ?PURCHASES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?PURCHASES)
                (instance ?MEMBER Buying)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?BUYER ?BUYING)
                    (=>
                        (and
                            (instance ?BUYER AutonomousAgent)
                            (instance ?BUYING Buying)
                            (member ?BUYING ?PURCHASES)
                            (agent ?BUYING ?BUYER))
                        (located ?BUYER ?REGION))))))
    (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE ?PURCHASES)
                        (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
            (equal
                (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3162-3189
(=>
    (and
        (instance ?SALES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?SALES)
                (instance ?MEMBER Selling)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?SELLER ?SELLING)
                    (=>
                        (and
                            (instance ?SELLER AutonomousAgent)
                            (instance ?SELLING Buying)
                            (member ?SELLING ?SALES)
                            (agent ?SELLING ?SELLER))
                        (located ?SELLER ?REGION))))))
    (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (and
                        (instance ?SALE Selling)
                        (member ?SALE ?SALES)
                        (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
            (equal
                (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 3205-3232
(=>
    (and
        (instance ?TRANS Buying)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER AutonomousAgent)
            (instance ?SELLER AutonomousAgent)
            (agent ?TRANS ?BUYER)
            (origin ?TRANS ?SELLER)
            (instance ?BUYER_LOCATION GeopoliticalArea)
            (instance ?SELLER_LOCATION GeopoliticalArea)
            (located ?SELLER ?SELLER_LOCATION)
            (located ?BUYER ?BUYER_LOCATION)
            (not
                (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 2047-2064
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?PURCHASES Collection)
        (subCollection ?PURCHASES ?VISITS)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?VISITS)
                (instance ?MEMBER AccessingWebPage)))
        (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?BUYING Buying)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?PAGE WebPage)
                    (member ?ACCESSING ?VISITS)
                    (destination ?ACCESSING ?PAGE)
                    (agent ?BUYING ?VISITOR)
                    (agent ?ACCESSING ?VISITOR)
                    (during
                        (WhenFn ?BUYING)
                        (WhenFn ?ACCESSING))
                    (instrument ?BUYING ?PAGE))
                (member ?BUYING ?PURCHASES))))
    (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
        (equal
            (SCRFn ?VISITS ?INTERVAL)
            (DivisionFn
                (CardinalityFn
                    (KappaFn ?PURCHASE_IN_INTERVAL
                        (and
                            (member ?PURCHASE_IN_INTERVAL ?PURCHASES)
                            (during
                                (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
                (CardinalityFn
                    (KappaFn ?VISIT_IN_INTERVAL
                        (and
                            (member ?VISIT_IN_INTERVAL ?VISITS)
                            (during
                                (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3874-3910
(=>
    (and
        (productPrice ?ENT
            (MeasureFn ?PRICE1 ?U) ?AGENT)
        (instance ?U UnitOfCurrency)
        (publishedPrice ?ENT
            (MeasureFn ?PRICE2 ?U) ?AGENT ?PS)
        (validFor ?PS ?CUSTCLASS)
        (instance ?ITEM ?ENT)
        (instance ?B Buying)
        (immediateInstance ?CUST ?CUSTCLASS)
        (agent ?B ?CUST)
        (origin ?B ?AGENT)
        (lessThan ?PRICE2 ?PRICE1))
    (modalAttribute
        (transactionAmount ?B ?PRICE1) Likely))
Catalog.kif 430-445

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


(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2022-2043
(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Physical))
    (exists (?TRANS)
        (and
            (instance ?TRANS Buying)
            (patient ?TRANS ?ITEM)
            (agent ?TRANS ?CUST)
            (origin ?TRANS ?AGENT))))
Mid-level-ontology.kif 29878-29887
(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Proposition))
    (exists (?TRANS ?PROC)
        (and
            (agent ?TRANS ?CUST)
            (realization ?PROC ?ITEM)
            (instance ?TRANS Buying)
            (patient ?TRANS ?PROC)
            (origin ?TRANS ?AGENT))))
Mid-level-ontology.kif 29889-29899
(=>
    (and
        (equal ?X
            (ABPFn ?BUYINGS))
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))
UXExperimentalTerms.kif 3437-3441
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?BUYING)
        (and
            (instance ?BUYING Buying)
            (agent ?BUYING ?MEMBER)
            (eCommerceSite ?BUYING ?SITE)
            (during
                (WhenFn ?BUYING) ?INT))))
UXExperimentalTerms.kif 3740-3749
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?MEMBER)
                (eCommerceSite ?BUYING ?SITE)
                (earlier
                    (WhenFn ?BUYING) ?INT)))))
UXExperimentalTerms.kif 3751-3761
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?USER AutonomousAgent)
        (instance ?OBJ Object)
        (agent ?ATC ?USER)
        (patient ?ATC ?OBJ))
    (desires ?USER
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (patient ?BUYING ?OBJ)
                (agent ?BUYING ?USER)))))
UXExperimentalTerms.kif 1509-1521
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (exists (?ITEM ?BUYING)
        (equal
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Physical)
                        (instance ?BUYING Buying)
                        (member ?BUYING ?COLL)
                        (patient ?BUYING ?ITEM))))
            (BoughtItemsFn ?COLL))))
UXExperimentalTerms.kif 3093-3109
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (equal
        (DivisionFn
            (CardinalityFn
                (exists (?LISTING ?SITE ?ITEM)
                    (KappaFn ?LISTING
                        (and
                            (instance ?LISTING WebListing)
                            (instance ?SITE WebSite)
                            (instance ?ITEM Physical)
                            (member ?LISTING ?COLL)
                            (patient ?LISTING ?ITEM)
                            (hostedOn ?LISTING ?SITE)
                            (exists (?BUYING)
                                (and
                                    (instance ?BUYING Buying)
                                    (patient ?BUYING ?ITEM)
                                    (eCommerceSite ?BUYING ?SITE)))))))
            (CardinalityFn ?COLL))
        (BidCountFn ?COLL)))
UXExperimentalTerms.kif 3051-3076
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?INTERVAL TimeInterval))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE
                            (QualifyingPurchasesFn ?EXPERIMENT))
                        (during
                            (WhenFn ?PURCHASE) ?INTERVAL))))
            (CardinalityFn
                (KappaFn ?USER
                    (and
                        (member ?USER
                            (TreatedUsersFn ?EXPERIMENT))
                        (instance ?ACCESSING AccessingWebPage)
                        (during
                            (WhenFn ?ACCESSING) ?INTERVAL)
                        (agent ?ACCESSING ?USER)))))
        (PPIFn ?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3301-3320
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?INTERVAL TimeInterval))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE
                            (QualifyingPurchasesFn ?EXPERIMENT)))))
            (CardinalityFn
                (KappaFn ?USER
                    (and
                        (member ?USER
                            (TreatedUsersFn ?EXPERIMENT))
                        (instance ?ACCESSING AccessingWebPage)
                        (agent ?ACCESSING ?USER)))))
        (PPSFn ?EXPERIMENT)))
UXExperimentalTerms.kif 3262-3279
(=>
    (and
        (instance ?Exercise ExerciseAnOption)
        (patient ?Exercise ?Option)
        (property ?Option CallOption)
        (time ?Exercise ?Time)
        (underlier ?Option ?Stocks))
    (exists (?Buy)
        (and
            (instance ?Buy Buying)
            (patient ?Buy ?Stocks)
            (time ?Buy ?Time)
            (measure ?Stocks
                (MeasureFn 100 ShareUnit)))))
FinancialOntology.kif 2767-2779
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3582-3614
(=>
    (and
        (instance ?PURCHASES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?PURCHASES)
                (instance ?MEMBER Buying)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?BUYER ?BUYING)
                    (=>
                        (and
                            (instance ?BUYER AutonomousAgent)
                            (instance ?BUYING Buying)
                            (member ?BUYING ?PURCHASES)
                            (agent ?BUYING ?BUYER))
                        (located ?BUYER ?REGION))))))
    (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE ?PURCHASES)
                        (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
            (equal
                (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3162-3189
(=>
    (and
        (listingBuyer ?LISTING ?BUYER)
        (instance ?OBJ Object)
        (instance ?SITE WebSite)
        (patient ?LISTING ?OBJECT)
        (hostedOn ?LISTING ?SITE))
    (exists (?BUYING)
        (and
            (instance ?BUYING Buying)
            (patient ?BUYING ?OBJ)
            (eCommerceSite ?BUYING ?SITE)
            (agent ?BUYING ?BUYER))))
UXExperimentalTerms.kif 105-117
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE))
    (agreementClause
        (exists (?B ?ITEM)
            (and
                (instance ?B Buying)
                (patient ?B ?ITEM)
                (immediateInstance ?ITEM ?ENT)
                (agent ?B ?BUYER)
                (origin ?B ?SELLER)
                (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))
Catalog.kif 311-324
(=>
    (and
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validFor ?PS ?CUSTCLASS)
        (instance ?CUSTOMER ?CUSTCLASS))
    (modalAttribute
        (=>
            (and
                (instance ?B Buying)
                (agent ?B ?CUSTOMER)
                (origin ?B ?AGENT)
                (patient ?B ?ITEM))
            (transactionAmount ?B ?PRICE)) Likely))
Catalog.kif 354-370
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2637-2653
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2701-2717
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30871-30886
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30838-30853
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30888-30902
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30855-30869
(=>
    (and
        (watchingListings ?USER ?COLL ?SITE)
        (instance ?LISTING WebListing)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ)
        (member ?LISTING ?COLL))
    (modalAttribute
        (desires ?USER
            (exists (?BUYING)
                (and
                    (instance ?BUYING Buying)
                    (patient ?BUYING ?OBJ)
                    (agent ?BUYING ?USER)))) Likely))
UXExperimentalTerms.kif 1454-1468
(=>
    (and
        (webPurchases ?PURCHASES ?BUYER ?SITE)
        (member ?BUYING ?PURCHASES))
    (and
        (instance ?BUYING Buying)
        (agent ?BUYING ?BUYER)
        (eCommerceSite ?BUYING ?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