Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AscensionThursday
|
|
|
| appearance as argument number 1 |
|
|
| (subclass InternationalAgreement Agreement) | Geography.kif 4428-4428 | International agreement is a subclass of agreement |
| (documentation InternationalAgreement EnglishLanguage "InternationalAgreement is the subclass of Agreements which are made by and between Nations.") | Geography.kif 4430-4431 | International agreement is a subclass of agreement |
| (externalImage InternationalAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Traktat_brzeski_1918.jpg") | pictureList.kif 6632-6632 | International agreement is a subclass of agreement |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 4433-4441 | If X is an instance of international agreement, Y is an instance of committing, and Y expresses X, then there exists Z such that Z is an agent of Y and Z is an instance of nation |
| (=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 4495-4499 | If X is an instance of international agreement and the agreement organization of X is an instance of organization, then the agreement organization of X is an instance of organization of nations |
|
