InternationalOrganization
|
|
appearance as argument number 1 |
(documentation InternationalOrganization EnglishLanguage "InternationalOrganization is the class of Organizations whose activities have international scope and which typically have members who are, or are from, different Nations.") | Government.kif 2512-2514 | |
(subclass InternationalOrganization Organization) | Government.kif 2510-2510 | InternationalOrganization は 組織 の subclass では %n |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue)) |
Government.kif 2614-2618 | |
(=> (instance ?ORG InternationalOrganization) (exists (?COUNTRY1 ?COUNTRY2) (and (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation) (agentOperatesInArea ?ORG ?COUNTRY1) (agentOperatesInArea ?ORG ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 2516-2524 |
|