Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| buys |
| appearance as argument number 1 |
|
| (instance buys TernaryPredicate) | Mid-level-ontology.kif 32549-32549 | 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 32550-32551 | buys is an instance of ternary predicate |
| (domain buys 1 CognitiveAgent) | Mid-level-ontology.kif 32558-32558 | The number 1 argument of buys is an instance of cognitive agent |
| (domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 32559-32559 | The number 2 argument of buys is an instance of agent |
| (domain buys 3 Entity) | Mid-level-ontology.kif 32560-32560 | The number 3 argument of buys is an instance of entity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage buys "buys") | Mid-level-ontology.kif 32552-32552 | |
| (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 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 |
|