OrganizationOfNations(organization of nations) |
appearance as argument number 1 |
![]() |
(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.") | Government.kif 2489-2490 | |
(subclass OrganizationOfNations InternationalOrganization) | Government.kif 2487-2487 | Organization of nations is a subclass of international organization |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?ORG OrganizationOfNations) (member ?MEM ?ORG)) (instance ?MEM Nation)) |
Government.kif 2492-2496 |
|
consequent |
![]() |
(=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 3221-3225 |
|
![]() |
![]() |