![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation TreatyDocument EnglishLanguage "TreatyDocument is the subclass of Texts that represent written agreements between Nations.") | Geography.kif 3194-3195 | |
(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 3192-3192 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage TreatyDocument "条约文件") | domainEnglishFormat.kif 59116-59116 | |
(termFormat ChineseTraditionalLanguage TreatyDocument "條約文件") | domainEnglishFormat.kif 59115-59115 | |
(termFormat EnglishLanguage TreatyDocument "treaty document") | domainEnglishFormat.kif 59114-59114 |
antecedent |
![]() |
(=> (instance ?T TreatyDocument) (attribute ?T Treaty)) |
Geography.kif 3209-3211 | |
(=> (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 3197-3207 |
![]() |
![]() |