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
occupiesPosition
Sigma KEE - occupiesPosition
occupiesPosition
appearance as argument number 1
(
documentation
occupiesPosition
ChineseLanguage
"(
occupiesPosition
?PERSON ?POSITION ?ORG)的意思是 ?PERSON 在
Organization
?ORG 担任
Position
?POSITION。例如: (
occupiesPosition
TomSmith ResearchDirector AcmeLaboratory)的意思是 TomSmith 在 Acme 实验室担任研究总监的职位。")
chinese_format.kif 3852-3854
(
documentation
occupiesPosition
EnglishLanguage
"(
occupiesPosition
?PERSON ?POSITION ?ORG) means that ?PERSON holds the
Position
?POSITION at
Organization
?ORG. For example, (
occupiesPosition
TomSmith ResearchDirector AcmeLaboratory) means that TomSmith is a research director at Acme Labs.")
Merge.kif 17273-17276
(
domain
occupiesPosition
1
Human
)
Merge.kif 17270-17270
(
domain
occupiesPosition
2
Position
)
Merge.kif 17271-17271
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17272-17272
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17269-17269
appearance as argument number 2
(
format
ChineseLanguage
occupiesPosition
"%1 %n{doesn't} 在 %3 任职 %2")
chinese_format.kif 551-551
(
format
EnglishLanguage
occupiesPosition
"%1 %n{doesn't} hold%p{s} the position of %2 in %3")
english_format.kif 556-556
(
format
FrenchLanguage
occupiesPosition
"%1 %n{n'} occupe %n{pas} la position de %2 %3")
french_format.kif 323-323
(
format
ItalianLanguage
occupiesPosition
"%1 occupa la posizione di %2 in %3")
relations-it.txt 202-202
(
format
JapaneseLanguage
occupiesPosition
"%1 は %3 の %2 の position を hold%p{s} %n{ない}")
japanese_format.kif 2091-2091
(
format
PortugueseLanguage
occupiesPosition
"%1 %n{nao} ocupa %n a posicao de %2 %3")
portuguese_format.kif 275-275
(
format
de
occupiesPosition
"%1 besetzt die position von %2 in %3")
relations-de.txt 721-721
(
format
hi
occupiesPosition
"%3 men %1 %2 kaa sthaana letaa hai")
relations-hindi.txt 240-240
(
format
ro
occupiesPosition
"%1 %n{nu} deþine position%t{poziþia} %2 în %3")
relations-ro.kif 344-344
(
format
sv
occupiesPosition
"%1 har %n{inte} positionen %2 i %3")
relations-sv.txt 357-357
(
termFormat
ChineseLanguage
occupiesPosition
"任职")
chinese_format.kif 552-552
(
termFormat
ChineseLanguage
occupiesPosition
"占据位置")
domainEnglishFormat.kif 41620-41620
(
termFormat
ChineseTraditionalLanguage
occupiesPosition
"佔據位置")
domainEnglishFormat.kif 41619-41619
(
termFormat
EnglishLanguage
occupiesPosition
"occupies position")
domainEnglishFormat.kif 41618-41618
antecedent
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21024-21030
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18906-18910
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4511-4519
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18944-18948
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20879-20883
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18933-18937
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
(=>
(
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
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
(=>
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?PERSON
Deacon
?ORG)
(
instance
?ORG
ReligiousOrganization
)))
(
exists
(?C)
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?C
Cleric
?ORG)
(
subordinateInOrganization
?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20911-20920
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17278-17280
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21016-21018
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21008-21014
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1850-1854
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4470-4478
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
(=>
(
and
(
instance
?T
TransferringPosition
)
(
experiencer
?T ?H))
(
exists
(?P1 ?P2 ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P1 ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P2 ?ORG))
(
not
(
equal
?P1 ?P2)))))
Mid-level-ontology.kif 16948-16961
(=>
(
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
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
(=>
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?PERSON
Deacon
?ORG)
(
instance
?ORG
ReligiousOrganization
)))
(
exists
(?C)
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?C
Cleric
?ORG)
(
subordinateInOrganization
?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20911-20920
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7673-7677
(=>
(
instance
?ORD
Ordaining
)
(
hasPurpose
?ORD
(
exists
(?X ?ORG ?POS)
(
and
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
instance
?ORG
ReligiousOrganization
)
(
member
?X ?ORG)
(
result
?ORD ?POS)
(
instance
?POS
ReligiousPosition
)
(
occupiesPosition
?X ?POS ?ORG)))))
Biography.kif 132-143
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
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