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 29939-29940 | |
(domain buys 1 CognitiveAgent) | Mid-level-ontology.kif 29947-29947 | |
(domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 29948-29948 | |
(domain buys 3 Entity) | Mid-level-ontology.kif 29949-29949 | |
(instance buys TernaryPredicate) | Mid-level-ontology.kif 29938-29938 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage buys "%1 buys %3 从 %2") | domainEnglishFormat.kif 2946-2946 | |
(format ChineseTraditionalLanguage buys "%1 buys %3 從 %2") | domainEnglishFormat.kif 2945-2945 | |
(format EnglishLanguage buys "%1 buys %3 from %2") | domainEnglishFormat.kif 2944-2944 | |
(termFormat EnglishLanguage buys "buys") | Mid-level-ontology.kif 29941-29941 |
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 29951-29960 | |
(=> (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 29962-29972 | |
(=> (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 1558-1578 | |
(=> (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 2744-2757 |
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 30002-30008 | |
(=> (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 29856-29876 | |
(=> (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 29883-29903 |
![]() |
![]() |