Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Deacon
Sigma KEE - subordinatePosition
subordinatePosition
appearance as argument number 1
(
documentation
subordinatePosition
EnglishLanguage
"(
subordinatePosition
?ORG ?SUB ?SUPER) means that in the
Organization
?ORG, the holder of role ?SUB is subordinate to the holder of role ?SUPER.")
Mid-level-ontology.kif 22800-22803
(
domain
subordinatePosition
1
Organization
)
Mid-level-ontology.kif 22796-22796
从属地位
的 1 数量 是
机构
的
instance
(
domain
subordinatePosition
2
Position
)
Mid-level-ontology.kif 22797-22797
从属地位
的 2 数量 是
地位
的
instance
(
domain
subordinatePosition
3
Position
)
Mid-level-ontology.kif 22798-22798
从属地位
的 3 数量 是
地位
的
instance
(
instance
subordinatePosition
TernaryPredicate
)
Mid-level-ontology.kif 22795-22795
从属地位
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
subordinatePosition
"%1 %n 是 对于 %3 的 subordinate 职位")
domainEnglishFormat.kif 2395-2395
(
format
ChineseTraditionalLanguage
subordinatePosition
"%1 %n 是 對於 %3 的 subordinate 職位")
domainEnglishFormat.kif 2394-2394
(
format
EnglishLanguage
subordinatePosition
"%1 is %n subordinate position %2 for %3")
domainEnglishFormat.kif 2393-2393
(
termFormat
ChineseLanguage
subordinatePosition
"从属地位")
domainEnglishFormat.kif 55760-55760
(
termFormat
ChineseTraditionalLanguage
subordinatePosition
"從屬地位")
domainEnglishFormat.kif 55759-55759
(
termFormat
EnglishLanguage
subordinatePosition
"subordinate position")
domainEnglishFormat.kif 55758-55758
antecedent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22805-22813
如果
机构
是 对于 %3 的
subordinate
职位 和
人类
在
那个 机构
任职
地位
,
然后 有存在
另一个 人类
这样
那个 另外 人类
是
人类
的
instance
和
那个 另外 人类
在
那个 机构
任职
另一个 地位
和
那个 机构
是 对于
那个 另外 人类
在 组织
那个 人类
的
subordinate
consequent
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
如果
和平国家
是
机构
的
attribute
和
那个 机构
是
军事组织
的
instance
和
地位
是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
如果
战争状态
是
机构
的
attribute
和
那个 机构
是
军事组织
的
instance
和
地位
是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
地位
是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
如果
过程
是
运营计划
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
战斗指挥官
的
instance
和 有存在
另一个 过程
和
另一个 施事体
这样
那个 另外 过程
是
要求
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
主席JCs
是
那个 另外 施事体
的
attribute
和
那个 另外 过程
causes
那个 过程
或
那个 施事体
是
统一指挥官
的
instance
和 有存在
那个 另外 过程
,
那个 施事体
SUPER, and 和
机构
这样
那个 另外 过程
是
要求
的
instance
和
那个 施事体
SUPER 是
那个 另外 过程
的
agent
和
军事指挥官
是
那个 施事体
SUPER 的
attribute
和
那个 机构
是 对于 %3 的
subordinate
职位 和
那个 机构
是
军事力量
的
instance
和
那个 另外 过程
causes
那个 过程
(=>
(
instance
?ORDER
OperationOrder
)
(
exists
(?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)
(
and
(
agent
?ORDER ?SUPERIORCOMMANDER)
(
origin
?ORDER ?SUPERIORCOMMANDER)
(
destination
?ORDER ?SUBORDINATECOMMANDER)
(
instance
?SUPERIORCOMMANDER
MilitaryCommander
)
(
instance
?SUBORDINATECOMMANDER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)
(
instance
?MILITARY
MilitaryForce
))))
MilitaryProcesses.kif 1663-1673
如果
过程
是
操作顺序
的
instance
,
然后 有存在
施事体
,
地位
, and 和
机构
这样
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 过程
的源头 和
那个 过程
在
那个 地位
结束 和
那个 施事体
是
军事指挥官
的
instance
和
那个 地位
是
军事指挥官
的
instance
和
那个 机构
是 对于 %3 的
subordinate
职位 和
那个 机构
是
军事力量
的
instance
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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