  buys
|
|
Sigma KEE - buys
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
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 32562-32571 |
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 32573-32583 |
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
(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 2762-2775 |
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 32467-32487 |
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 32494-32514 |
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 32613-32619 |
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 simplified definition (without tree view)
Show simplified definition (with tree view)
|
