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 | buys 的 1 数量 是 有认知的主事 的 instance |
(domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 29948-29948 | buys 的 2 数量 是 施事体 的 instance |
(domain buys 3 Entity) | Mid-level-ontology.kif 29949-29949 | buys 的 3 数量 是 实体 的 instance |
(instance buys TernaryPredicate) | Mid-level-ontology.kif 29938-29938 | buys 是 三元谓语 的 instance |
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 |
|
![]() |
![]() |