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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - buys
buys

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


(documentation buys EnglishLanguage "(buys ?CUST ?AGENT ?ENT) means that AutonomousAgent ?CUST performs Buying of Entity ?ENT from AutonomousAgent ?AGENT") Mid-level-ontology.kif 31843-31844
(domain buys 1 CognitiveAgent) Mid-level-ontology.kif 31851-31851 buys 的 1 数量 是 有认知的主事 的 instance
(domain buys 2 AutonomousAgent) Mid-level-ontology.kif 31852-31852 buys 的 2 数量 是 施事体 的 instance
(domain buys 3 Entity) Mid-level-ontology.kif 31853-31853 buys 的 3 数量 是 实体 的 instance
(instance buys TernaryPredicate) Mid-level-ontology.kif 31842-31842 buys 是 三元谓语 的 instance

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


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

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 31855-31864
(=>
    (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 31866-31876
(=>
    (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
(=>
    (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

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


(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))		 Mid-level-ontology.kif 31906-31912
(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?INVOICE)
            (buys ?BUYER ?SELLER ?ENT)
            (confersRight
                (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))) ?SELLER ?BUYER))))		 Mid-level-ontology.kif 31760-31780
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?PRODUCT)
            (confersObligation
                (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))) ?BUYER ?SELLER))))		 Mid-level-ontology.kif 31787-31807


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