|
|
   TreatyDocument
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TreatyDocument EnglishLanguage "TreatyDocument is the subclass of Texts that represent written agreements between Nations.") | Geography.kif 2895-2896 | |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Reform_treaty.jpg") | pictureList.kif 3019-3019 | |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Traktat_brzeski_1918.jpg") | pictureList.kif 3247-3247 | |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ The_Treaty_of_Utrecht.jpg") | pictureList.kif 3248-3248 | |
| (subclass TreatyDocument Text) | Geography.kif 2893-2893 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TreatyDocument "条约文件") | domainEnglishFormat.kif 59040-59040 | |
| (termFormat ChineseTraditionalLanguage TreatyDocument "條約文件") | domainEnglishFormat.kif 59039-59039 | |
| (termFormat EnglishLanguage TreatyDocument "treaty document") | domainEnglishFormat.kif 59038-59038 |
| antecedent |
|
|
| (=> (instance ?T TreatyDocument) (attribute ?T Treaty)) |
Geography.kif 2910-2912 | |
| (=> (instance ?TREATY TreatyDocument) (exists (?COMM ?COUNTRY1 ?COUNTRY2) (and (instance ?COMM Committing) (patient ?COMM ?TREATY) (instance ?COUNTRY1 GeopoliticalArea) (agent ?COMM ?COUNTRY1) (instance ?COUNTRY2 GeopoliticalArea) (agent ?COMM ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Geography.kif 2898-2908 |
|
|
|
