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 6633-6633 | |
(subclass InternationalAgreement Agreement) | Geography.kif 2996-2996 | International agreement is a subclass of agreement |
appearance as argument number 2 |
(termFormat ChineseLanguage InternationalAgreement "国际协议") | domainEnglishFormat.kif 30493-30493 | |
(termFormat ChineseTraditionalLanguage InternationalAgreement "國際協議") | domainEnglishFormat.kif 30492-30492 | |
(termFormat EnglishLanguage InternationalAgreement "international agreement") | domainEnglishFormat.kif 30491-30491 |
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 |
|