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 | Le nombre 1 argument de buys est une instance de agent cognitif |
(domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 29948-29948 | Le nombre 2 argument de buys est une instance de AutonomousAgent |
(domain buys 3 Entity) | Mid-level-ontology.kif 29949-29949 | Le nombre 3 argument de buys est une instance de entit� |
(instance buys TernaryPredicate) | Mid-level-ontology.kif 29938-29938 | buys est une instance de pr�dicat ternaire |
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 |
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 |
|