OrganizationOfNations(organization of nations) |
appearance as argument number 1 |
![]() |
(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.") | Government.kif 2525-2526 | |
(subclass OrganizationOfNations InternationalOrganization) | Government.kif 2523-2523 | 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 2528-2532 |
|
consequent |
![]() |
(=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 2985-2989 |
|
![]() |
![]() |