| InternationalAgreement(international agreement)
|
| appearance as argument number 1 |
|
| (documentation InternationalAgreement EnglishLanguage "InternationalAgreement is the subclass of Agreements which are made by and between Nations.") | Geography.kif 2998-2999 | |
| (externalImage InternationalAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Traktat_brzeski_1918.jpg") | pictureList.kif 6632-6632 | |
| (subclass InternationalAgreement Agreement) | Geography.kif 2996-2996 | International agreement is a subclass of agreement |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InternationalAgreement "国际协议") | domainEnglishFormat.kif 30522-30522 | |
| (termFormat ChineseTraditionalLanguage InternationalAgreement "國際協議") | domainEnglishFormat.kif 30521-30521 | |
| (termFormat EnglishLanguage InternationalAgreement "international agreement") | domainEnglishFormat.kif 30520-30520 |
| antecedent |
|
|
| (=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 3063-3067 |
|
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 3001-3009 |
|
|
|
|