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


KB Term:  Term intersection
English Word: 

Sigma KEE - buys
buys

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


(instance buys TernaryPredicate) Mid-level-ontology.kif 32611-32611 buys is an instance of ternary predicate
(documentation buys EnglishLanguage "(buys ?CUST ?AGENT ?ENT) means that AutonomousAgent ?CUST performs Buying of Entity ?ENT from AutonomousAgent ?AGENT") Mid-level-ontology.kif 32612-32613 buys is an instance of ternary predicate
(domain buys 1 CognitiveAgent) Mid-level-ontology.kif 32620-32620 The number 1 argument of buys is an instance of cognitive agent
(domain buys 2 AutonomousAgent) Mid-level-ontology.kif 32621-32621 The number 2 argument of buys is an instance of agent
(domain buys 3 Entity) Mid-level-ontology.kif 32622-32622 The number 3 argument of buys is an instance of entity

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


(termFormat EnglishLanguage buys "buys") Mid-level-ontology.kif 32614-32614
(format EnglishLanguage buys "%1 buys %3 from %2") domainEnglishFormat.kif 2940-2940
(format ChineseTraditionalLanguage buys "%1 buys %3 從 %2") domainEnglishFormat.kif 2941-2941
(format ChineseLanguage buys "%1 buys %3 从 %2") domainEnglishFormat.kif 2942-2942

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


(=>
    (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 32624-32633 If X buys Y from Z and Y is an instance of physical, then there exists W such that W is an instance of buying, Y is a patient of W, X is an agent of W, and W originates at Z
(=>
    (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 32635-32645 If X buys Y from Z and Y is an instance of proposition, then there exist W, V such that X is an agent of W, V expresses the content of Y, W is an instance of buying, V is a patient of W, and W originates at Z
(=>
    (and
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
    (holdsDuring
        (WhenFn
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                    (and
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                (and
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))		 Hotel.kif 1569-1589 If All of the following hold: (1) X offers items for sale in Y (2) Y is an instance of meal plan (3) meals of type Z are includes in Y (4) traveler accommodation is an attribute of X (5) W is a guest at X (6) W buys Y from X, then there exists V such that there exists U such that Z is an attribute of U, U has the purpose there exists T such that T is an instance of eating, W is an agent of T, and U is a patient of T holds during V holds during the time of existence of W is a guest at X
(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))		 Hotel.kif 2755-2768 If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S

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


(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?INVOICE)
            (buys ?BUYER ?SELLER ?ENT)
            (confersRight ?SELLER ?BUYER
                (exists (?SELLING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?INVOICE))
                            (BeginFn
                                (WhenFn ?SELLING)))
                        (instance ?SELLING Selling)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?SELLING ?PRODUCT)
                        (refers ?INVOICE ?PRODUCT)
                        (agent ?SELLING ?SELLER)
                        (patient ?SELLING ?BUYER)))))))		 Mid-level-ontology.kif 32529-32549 If X is an instance of invoice, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that the unique identifier of Y is X (3) Z buys V from W (4) Z allows there exists T such that the beginning of the time of existence of X happens before the beginning of the time of existence of T (5) T is an instance of selling (6) U is an instance of product (7) the object transferred in T is U (8) X includes a reference to U (9) W is an agent of T (10) Z is a patient of T to perform task of the type W
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?PRODUCT)
            (confersObligation ?BUYER ?SELLER
                (exists (?BUYING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?PO))
                            (BeginFn
                                (WhenFn ?BUYING)))
                        (instance ?BUYING Buying)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?BUYING ?PRODUCT)
                        (refers ?PO ?PRODUCT)
                        (agent ?BUYING ?BUYER)
                        (patient ?BUYING ?SELLER)))))))		 Mid-level-ontology.kif 32556-32576 If X is an instance of purchase order, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that the unique identifier of Y is X (3) Z buys V from W (4) W obligates there exists U such that the beginning of the time of existence of X happens before the beginning of the time of existence of U (5) U is an instance of buying (6) V is an instance of product (7) the object transferred in U is V (8) X includes a reference to V (9) Z is an agent of U (10) W is a patient of U to perform task of the type Z
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))		 Mid-level-ontology.kif 32675-32681 If X is an instance of purchase order number, then there exist Y, Z,, , W, V such that Y is an instance of purchase order, Z buys V from W, and X is a unique ID for Z with respect to Y


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