PurchaseContract
|
|
appearance as argument number 1 |
(documentation PurchaseContract EnglishLanguage "A Contract between two Agents in which one AutonomousAgent agrees to render the other some good or service in exchange for currency.") | Mid-level-ontology.kif 14206-14208 | |
(subAttribute PurchaseContract Contract) | Mid-level-ontology.kif 14205-14205 | PurchaseContract e' um sub-atributo de Contract |
appearance as argument number 2 |
(termFormat ChineseLanguage PurchaseContract "采购合同") | domainEnglishFormat.kif 48154-48154 | |
(termFormat ChineseTraditionalLanguage PurchaseContract "採購合同") | domainEnglishFormat.kif 48153-48153 | |
(termFormat EnglishLanguage PurchaseContract "purchase contract") | domainEnglishFormat.kif 48152-48152 |
antecedent |
(=> (property ?C PurchaseContract) (exists (?S ?SELLER ?BUYER) (and (instance ?S Selling) (agent ?S ?SELLER) (destination ?S ?BUYER) (realization ?S ?C) (partyToAgreement ?C ?SELLER) (partyToAgreement ?C ?BUYER)))) |
Mid-level-ontology.kif 14210-14219 |
|