| 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 2559-2561 | |
| (domain organizationalObjective 1 AutonomousAgent) | Government.kif 2554-2554 | 组织目标 的 1 数量 是 施事体 的 instance |
| (domain organizationalObjective 2 AreaOfConcern) | Government.kif 2555-2555 | 组织目标 的 2 数量 是 关注的区域 的 instance |
| (instance organizationalObjective BinaryPredicate) | Government.kif 2553-2553 | 组织目标 是 二元谓语 的 instance |
| (subrelation organizationalObjective attribute) | Government.kif 2556-2556 | 组织目标 是 属于 的 subrelation |
| 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 42500-42500 | |
| (termFormat ChineseTraditionalLanguage organizationalObjective "組織目標") | domainEnglishFormat.kif 42499-42499 | |
| (termFormat EnglishLanguage organizationalObjective "organizational objective") | domainEnglishFormat.kif 42498-42498 |
| antecedent |
|
|
| (=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue)) |
Government.kif 2575-2579 | |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2332-2338 | |
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2563-2567 |
|
| consequent |
|
|
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2563-2567 |
|
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners