organizationalObjective |
appearance as argument number 1 |
![]() |
(documentation organizationalObjective EnglishLanguage "(organizationalObjective ?AGENT ?FOCUS) means that the AutonomousAgent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS.") | Government.kif 2560-2562 | |
(domain organizationalObjective 1 AutonomousAgent) | Government.kif 2555-2555 | organizationalObjective の数値 1 引数は AutonomousAgent の instance では %n |
(domain organizationalObjective 2 AreaOfConcern) | Government.kif 2556-2556 | organizationalObjective の数値 2 引数は AreaOfConcern の instance では %n |
(instance organizationalObjective BinaryPredicate) | Government.kif 2554-2554 | organizationalObjective は 2進述語 の instance では %n |
(subrelation organizationalObjective attribute) | Government.kif 2557-2557 | organizationalObjective は attribute の subrelation では %n |
appearance as argument number 2 |
![]() |
(format ChineseLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目标") | domainEnglishFormat.kif 1859-1859 | |
(format ChineseTraditionalLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目標") | domainEnglishFormat.kif 1858-1858 | |
(format EnglishLanguage organizationalObjective "%2 is %n an organizational objective of %1") | domainEnglishFormat.kif 1857-1857 | |
(termFormat ChineseLanguage organizationalObjective "组织目标") | domainEnglishFormat.kif 42531-42531 | |
(termFormat ChineseTraditionalLanguage organizationalObjective "組織目標") | domainEnglishFormat.kif 42530-42530 | |
(termFormat EnglishLanguage organizationalObjective "organizational objective") | domainEnglishFormat.kif 42529-42529 |
antecedent |
![]() |
(=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue)) |
Government.kif 2576-2580 | |
(=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2333-2339 | |
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2564-2568 |
consequent |
![]() |
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2564-2568 |
appearance as argument number 0 |
![]() |
![]() |
![]() |