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 | The number 1 argument of organizational objective is an instance of agent |
(domain organizationalObjective 2 AreaOfConcern) | Government.kif 2556-2556 | The number 2 argument of organizational objective is an instance of area of concern |
(instance organizationalObjective BinaryPredicate) | Government.kif 2554-2554 | organizational objective is an instance of binary predicate |
(subrelation organizationalObjective attribute) | Government.kif 2557-2557 | organizational objective is a subrelation of attribute |
appearance as argument number 2 |
![]() |
(format ChineseLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目标") | domainEnglishFormat.kif 1863-1863 | |
(format ChineseTraditionalLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目標") | domainEnglishFormat.kif 1862-1862 | |
(format EnglishLanguage organizationalObjective "%2 is %n an organizational objective of %1") | domainEnglishFormat.kif 1861-1861 | |
(termFormat ChineseLanguage organizationalObjective "组织目标") | domainEnglishFormat.kif 42529-42529 | |
(termFormat ChineseTraditionalLanguage organizationalObjective "組織目標") | domainEnglishFormat.kif 42528-42528 | |
(termFormat EnglishLanguage organizationalObjective "organizational objective") | domainEnglishFormat.kif 42527-42527 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2564-2568 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |