Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  contestParticipant
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TreatyDocument Text) | Geography.kif 4466-4466 | Treaty document is a subclass of text |
| (documentation TreatyDocument EnglishLanguage "TreatyDocument is the subclass of Texts that represent written agreements between Nations.") | Geography.kif 4468-4469 | Treaty document is a subclass of text |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Reform_treaty.jpg") | pictureList.kif 3017-3017 | Treaty document is a subclass of text |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Traktat_brzeski_1918.jpg") | pictureList.kif 3245-3245 | Treaty document is a subclass of text |
| (externalImage TreatyDocument "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ The_Treaty_of_Utrecht.jpg") | pictureList.kif 3246-3246 | Treaty document is a subclass of text |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 4471-4481 | If X is an instance of treaty document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of committing (3) X is a patient of Y (4) Z is an instance of geopolitical area (5) Z is an agent of Y (6) W is an instance of geopolitical area (7) W is an agent of Y (8) equal Z (9) W |
| (=> (instance ?T TreatyDocument) (attribute ?T Treaty)) |
Geography.kif 4483-4485 | If X is an instance of treaty document, then treaty is an attribute of X |
|
