OrganizationOfNations(国际组织) |
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 | 国际组织 是 国际组织 的 subclass |
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 3188-3192 |
![]() |
![]() |