![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransnationalIssue(transnational issue) |
| appearance as argument number 1 |
|
|
| (subclass TransnationalIssue AreaOfConcern) | Government.kif 2600-2600 | Transnational issue is a subclass of area of concern |
| (documentation TransnationalIssue EnglishLanguage "TransnationalIssue is a class of Attributes that characterize the concerns of Nations, international Non_Governmental Institutions (NGOs), and other transnational agents.") | Government.kif 2602-2604 | Transnational issue is a subclass of area of concern |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue)) |
Government.kif 2606-2610 | If X is an instance of international organization and Y is an organizational objective of X, then Y is an instance of transnational issue |