| 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 23126-23127 | |
| (subclass ClosingContract Committing) | Mid-level-ontology.kif 23125-23125 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ClosingContract "合同终止") | domainEnglishFormat.kif 15225-15225 | |
| (termFormat ChineseTraditionalLanguage ClosingContract "契約終止") | domainEnglishFormat.kif 15224-15224 | |
| (termFormat EnglishLanguage ClosingContract "closing contract") | domainEnglishFormat.kif 15223-15223 |
| antecedent |
|
|
| (=> (and (instance ?CLOSE ClosingContract) (agent ?CLOSE ?AGENT) (destination ?CLOSE ?CONTRACT)) (partyToAgreement ?CONTRACT ?AGENT)) |
Mid-level-ontology.kif 23129-23134 | |
| (=> (instance ?CLOSE ClosingContract) (exists (?AGREE) (and (instance ?AGREE ReachingAgreement) (subProcess ?AGREE ?CLOSE)))) |
Media.kif 131-136 |
|
|
|