| InternationalAgreement
|
| appearance as argument number 1 |
|
| (documentation InternationalAgreement EnglishLanguage "InternationalAgreement is the subclass of Agreements which are made by and between Nations.") | Geography.kif 2920-2921 | |
| (externalImage InternationalAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Traktat_brzeski_1918.jpg") | pictureList.kif 6634-6634 | |
| (subclass InternationalAgreement Agreement) | Geography.kif 2918-2918 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InternationalAgreement "国际协议") | domainEnglishFormat.kif 30480-30480 | |
| (termFormat ChineseTraditionalLanguage InternationalAgreement "國際協議") | domainEnglishFormat.kif 30479-30479 | |
| (termFormat EnglishLanguage InternationalAgreement "international agreement") | domainEnglishFormat.kif 30478-30478 |
| antecedent |
|
|
| (=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 2985-2989 | |
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 2923-2931 |
|
|
|