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
subordinatePosition
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 22748-22751
(
domain
subordinatePosition
1
Organization
)
Mid-level-ontology.kif 22744-22744
域
從屬地位
, 1 and
Organization
(
domain
subordinatePosition
2
Position
)
Mid-level-ontology.kif 22745-22745
域
從屬地位
, 2 and
Position
(
domain
subordinatePosition
3
Position
)
Mid-level-ontology.kif 22746-22746
域
從屬地位
, 3 and
Position
(
instance
subordinatePosition
TernaryPredicate
)
Mid-level-ontology.kif 22743-22743
例
從屬地位
and
TernaryPredicate
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 55758-55758
(
termFormat
ChineseTraditionalLanguage
subordinatePosition
"從屬地位")
domainEnglishFormat.kif 55757-55757
(
termFormat
EnglishLanguage
subordinatePosition
"subordinate position")
domainEnglishFormat.kif 55756-55756
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 22753-22761
Organization
是 對於 %3 的
subordinate
職位
佔據位置
Human
,
Position
and
Organization
Human
例
Human
and
Human
佔據位置
Human
,
Position
and
Organization
Organization
是 對於
Human
在 組織
Human
的
subordinate
consequent
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
attribute
Organization
and
和平國家
例
Organization
and
軍事組織
Position
是
Organization
的
leader
職位
Organization
是 對於 %3 的
subordinate
職位
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
attribute
Organization
and
戰爭狀態
例
Organization
and
軍事組織
Position
是
Organization
的
leader
職位
Organization
是 對於 %3 的
subordinate
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
Position
是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
是 對於 %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
例
Process
and
運營計劃
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
戰鬥指揮官
Process
AutonomousAgent
例
Process
and
Requesting
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
主席JCs
原因
Process
and
Process
例
AutonomousAgent
and
統一指揮官
Process
AutonomousAgent
SUPER and
Organization
例
Process
and
Requesting
agent
Process
and
AutonomousAgent
SUPER
attribute
AutonomousAgent
SUPER and
軍事指揮官
Organization
是 對於 %3 的
subordinate
職位
例
Organization
and
軍事力量
原因
Process
and
Process
(=>
(
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
例
Process
and
操作順序
AutonomousAgent
Position
and
Organization
agent
Process
and
AutonomousAgent
起源
Process
and
AutonomousAgent
目的地
Process
and
Position
例
AutonomousAgent
and
軍事指揮官
例
Position
and
軍事指揮官
Organization
是 對於 %3 的
subordinate
職位
例
Organization
and
軍事力量
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