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 22800-22803
(
domain
subordinatePosition
1
Organization
)
Mid-level-ontology.kif 22796-22796
Il numero 1 argomenti di
subordinatePosition
è un
istanza
di
Organizzazione
(
domain
subordinatePosition
2
Position
)
Mid-level-ontology.kif 22797-22797
Il numero 2 argomenti di
subordinatePosition
è un
istanza
di
Posizione
(
domain
subordinatePosition
3
Position
)
Mid-level-ontology.kif 22798-22798
Il numero 3 argomenti di
subordinatePosition
è un
istanza
di
Posizione
(
instance
subordinatePosition
TernaryPredicate
)
Mid-level-ontology.kif 22795-22795
subordinatePosition
è un'
istanza
di
PredicatoTernario
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
subordinatePosition
Organizzazione
,
Posizione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Umano
Umano
è un'
istanza
di
Umano
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
subordinateInOrganization
Organizzazione
,
Umano
and
Umano
consequent
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
attribute
Organizzazione
and
PeaceState
Organizzazione
è un'
istanza
di
MilitaryOrganization
leaderPosition
Organizzazione
and
Posizione
subordinatePosition
Organizzazione
,
Posizione
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
attribute
Organizzazione
and
WarState
Organizzazione
è un'
istanza
di
MilitaryOrganization
leaderPosition
Organizzazione
and
Posizione
subordinatePosition
Organizzazione
,
Posizione
and
President
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
leaderPosition
Organizzazione
and
Posizione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
subordinatePosition
Organizzazione
,
Posizione
and
Organizzazione
COMMANDER
(=>
(
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
Processo
è un'
istanza
di
OperationPlanning
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
CombatantCommander
Processo
AutonomousAgent
Processo
è un'
istanza
di
Richiedere
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
ChairmanJCS
Processo
causa
s
Processo
AutonomousAgent
è un'
istanza
di
SubunifiedCommander
Processo
AutonomousAgent
SUPER and
Organizzazione
Processo
è un'
istanza
di
Richiedere
Processo
è un
agente
di
AutonomousAgent
SUPER
attribute
AutonomousAgent
SUPER and
MilitaryCommander
subordinatePosition
Organizzazione
,
AutonomousAgent
and
AutonomousAgent
SUPER
Organizzazione
è un'
istanza
di
MilitaryForce
Processo
causa
s
Processo
(=>
(
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
Processo
è un'
istanza
di
OperationOrder
AutonomousAgent
Posizione
and
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Processo
fine
s in
Posizione
AutonomousAgent
è un'
istanza
di
MilitaryCommander
Posizione
è un'
istanza
di
MilitaryCommander
subordinatePosition
Organizzazione
,
Posizione
and
AutonomousAgent
Organizzazione
è un'
istanza
di
MilitaryForce
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