ClosingContract
|
|
appearance as argument number 1 |
(documentation ClosingContract EnglishLanguage "Completing a Contract of some sort, e.g. the purchase of a house, closing a business deal, etc.") | Mid-level-ontology.kif 21536-21537 | |
(subclass ClosingContract Committing) | Mid-level-ontology.kif 21535-21535 | 子類 契約終止 and Committing |
appearance as argument number 2 |
(termFormat ChineseLanguage ClosingContract "合同终止") | domainEnglishFormat.kif 15216-15216 | |
(termFormat ChineseTraditionalLanguage ClosingContract "契約終止") | domainEnglishFormat.kif 15215-15215 | |
(termFormat EnglishLanguage ClosingContract "closing contract") | domainEnglishFormat.kif 15214-15214 |
antecedent |
(=> (and (instance ?CLOSE ClosingContract) (agent ?CLOSE ?AGENT) (destination ?CLOSE ?CONTRACT)) (partyToAgreement ?CONTRACT ?AGENT)) |
Mid-level-ontology.kif 21539-21544 | |
(=> (instance ?CLOSE ClosingContract) (exists (?AGREE) (and (instance ?AGREE ReachingAgreement) (subProcess ?AGREE ?CLOSE)))) |
Media.kif 131-136 |