| appearance as argument number 1 |
|
| (documentation organizationalObjective EnglishLanguage "(organizationalObjective ?AGENT ?FOCUS) means that the Agent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS.") | Government.kif 2539-2541 | |
| (domain organizationalObjective 1 Agent) | Government.kif 2534-2534 | 组织目标 的 1 数量 是 施事体 的 instance |
| (domain organizationalObjective 2 AreaOfConcern) | Government.kif 2535-2535 | 组织目标 的 2 数量 是 关注的区域 的 instance |
| (instance organizationalObjective BinaryPredicate) | Government.kif 2533-2533 | 组织目标 是 二元谓语 的 instance |
| (subrelation organizationalObjective attribute) | Government.kif 2536-2536 | 组织目标 是 属于 的 subrelation |
| 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 42481-42481 | |
| (termFormat ChineseTraditionalLanguage organizationalObjective "組織目標") | domainEnglishFormat.kif 42480-42480 | |
| (termFormat EnglishLanguage organizationalObjective "organizational objective") | domainEnglishFormat.kif 42479-42479 |
| antecedent |
|
|
| (=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue)) |
Government.kif 2555-2559 | |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2312-2318 | |
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2543-2547 |
|
| consequent |
|
|
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2543-2547 |
|
| 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