| 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 2562-2564 | |
| (domain organizationalObjective 1 AutonomousAgent) | Government.kif 2557-2557 | 组织目标 的 1 数量 是 施事体 的 instance |
| (domain organizationalObjective 2 AreaOfConcern) | Government.kif 2558-2558 | 组织目标 的 2 数量 是 关注的区域 的 instance |
| (instance organizationalObjective BinaryPredicate) | Government.kif 2556-2556 | 组织目标 是 二元谓语 的 instance |
| (subrelation organizationalObjective attribute) | Government.kif 2559-2559 | 组织目标 是 属于 的 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 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 2578-2582 | |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2335-2341 | |
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2566-2570 |
|
| consequent |
|
|
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2566-2570 |
|
| 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