| TreatyDocument(treaty document)
|
| appearance as argument number 1 |
|
| (documentation TreatyDocument EnglishLanguage "TreatyDocument is the subclass of Texts that represent written agreements between Nations.") | Geography.kif 4428-4429 | |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Reform_treaty.jpg") | pictureList.kif 3017-3017 | |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Traktat_brzeski_1918.jpg") | pictureList.kif 3245-3245 | |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ The_Treaty_of_Utrecht.jpg") | pictureList.kif 3246-3246 | |
| (subclass TreatyDocument Text) | Geography.kif 4426-4426 | Treaty document is a subclass of text |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TreatyDocument "条约文件") | domainEnglishFormat.kif 59115-59115 | |
| (termFormat ChineseTraditionalLanguage TreatyDocument "條約文件") | domainEnglishFormat.kif 59114-59114 | |
| (termFormat EnglishLanguage TreatyDocument "treaty document") | domainEnglishFormat.kif 59113-59113 |
| antecedent |
|
|
| (=> (instance ?T TreatyDocument) (attribute ?T Treaty)) |
Geography.kif 4443-4445 |
|
| (=> (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 4431-4441 |
|
|
|
|