| PurchaseContract(purchase contract) | | purchase_agreement, purchase_contract |
| 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 15107-15109 | |
| (subAttribute PurchaseContract Contract) | Mid-level-ontology.kif 15106-15106 | Purchase contract is a subattribute of contract |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PurchaseContract "采购合同") | domainEnglishFormat.kif 48183-48183 | |
| (termFormat ChineseTraditionalLanguage PurchaseContract "採購合同") | domainEnglishFormat.kif 48182-48182 | |
| (termFormat EnglishLanguage PurchaseContract "purchase contract") | domainEnglishFormat.kif 48181-48181 |
| 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 15111-15120 |
|
|
|
|