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 | Il numero 1 argomenti di buys è un istanza di AgenteCognitivo |
(domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 29948-29948 | Il numero 2 argomenti di buys è un istanza di AutonomousAgent |
(domain buys 3 Entity) | Mid-level-ontology.kif 29949-29949 | Il numero 3 argomenti di buys è un istanza di Entit� |
(instance buys TernaryPredicate) | Mid-level-ontology.kif 29938-29938 | buys è un' istanza di PredicatoTernario |
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 |
|