Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| organizationalObjective |
| appearance as argument number 1 |
|
| (instance organizationalObjective BinaryPredicate) | Government.kif 2584-2584 | organizational objective is an instance of binary predicate |
| (domain organizationalObjective 1 AutonomousAgent) | Government.kif 2585-2585 | The number 1 argument of organizational objective is an instance of agent |
| (domain organizationalObjective 2 AreaOfConcern) | Government.kif 2586-2586 | The number 2 argument of organizational objective is an instance of area of concern |
| (subrelation organizationalObjective attribute) | Government.kif 2587-2587 | organizational objective is a subrelation of attribute |
| (documentation organizationalObjective EnglishLanguage "(organizationalObjective ?AGENT ?FOCUS) means that the AutonomousAgent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS.") | Government.kif 2590-2592 | organizational objective is a subrelation of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage organizationalObjective "%2 is %n an organizational objective of %1") | domainEnglishFormat.kif 1861-1861 | |
| (format ChineseTraditionalLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目標") | domainEnglishFormat.kif 1862-1862 | |
| (format ChineseLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目标") | domainEnglishFormat.kif 1863-1863 | |
| (termFormat EnglishLanguage organizationalObjective "organizational objective") | domainEnglishFormat.kif 42491-42491 | |
| (termFormat ChineseTraditionalLanguage organizationalObjective "組織目標") | domainEnglishFormat.kif 42492-42492 | |
| (termFormat ChineseLanguage organizationalObjective "组织目标") | domainEnglishFormat.kif 42493-42493 |
| antecedent |
|
|
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2341-2347 | If X is an instance of political pressure group, Y is an organizational objective of X, Z is an instance of government organization, and Y is an organizational objective of Z, then X is interested in Z |
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2594-2598 | If X is an organizational objective of Y and X is a subattribute of Z, then Z is an organizational objective of Y |
| (=> (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 |
| consequent |
|
|
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2594-2598 | If X is an organizational objective of Y and X is a subattribute of Z, then Z is an organizational objective of Y |
| appearance as argument number 0 |
|
|
|