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
The number 1 argument of
occupies position
is an
instance
of
human
(
domain
occupiesPosition
2
Position
)
Merge.kif 17271-17271
The number 2 argument of
occupies position
is an
instance
of
position
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17272-17272
The number 3 argument of
occupies position
is an
instance
of
organization
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17269-17269
occupies position
is an
instance
of
ternary predicate
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
If
college freshman
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
less
than 1
(=>
(
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
If
college junior
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
greater
than or equal to 2 and
the real number
is
less
than 3
(=>
(
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
If
college senior
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
greater
than or equal to 3 and
the real number
is
less
than 4
(=>
(
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
If
college sophomore
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a real number
such that
the human
is a
student
of
the organization
holds
during
the real number
year duration
(s) and
the real number
is
greater
than or equal to 1 and
the real number
is
less
than 2
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21024-21030
If
professor
is an
attribute
of
a human
and
the human
holds the
position
of
professor
in
an educational organization
,
then
the human
is a
teacher
in
the educational organization
and
the educational organization
is an
instance
of
post secondary school
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18906-18910
If
teacher
is an
attribute
of
a human
and
another human
holds the
position
of
the human
in
an educational organization
,
then
the human
is a
teacher
in
the educational organization
(=>
(
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
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
and
an organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
and
the agent
is an
instance
of
geopolitical area
,
then
the agent
is an
agent
operates in area of
the organization
(=>
(
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
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in the
government
of
the geopolitical area
,
then there exists
a process
such that
the process
is an
instance
of
guiding
and
the geopolitical area
is a
patient
of
the process
and
the human
is an
agent
of
the process
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
If
an organization
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in
the organization
,
then
the human
is a
leader
of the
government
of
the organization
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
If
a geopolitical area
is an
instance
of
nation
and
a human
is a
leader
of
the geopolitical area
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
If
a human
is an
instance
of
human
and
the human
holds the
position
of
a position
in
an organization
and
banker
is an
attribute
of
the position
,
then
the organization
is an
instance
of
BankFinancialOrganization
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18944-18948
If
a position
is an
instance
of
government position
and
a human
holds the
position
of
the position
in
the position
RG,
then
the position
RG is an
instance
of
government organization
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
If
an organization
is an
instance
of
agent
and
a human
is a
leader
of
the organization
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in
the organization
,
then
the position
is a
leader
position of
the organization
(=>
(
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
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
a geopolitical area
is an
instance
of
geopolitical area
and
the position
is a
leader
position of
the geopolitical area
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
an organization
is an
instance
of
agent
and
the position
is a
leader
position of
the organization
and
the human
holds the
position
of
the position
in
the organization
,
then
the human
is a
leader
of
the organization
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20879-20883
If
a human
holds the
position
of
a position
in
an organization
and
the position
is an
instance
of
religious position
,
then
the organization
is an
instance
of
religious organization
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18933-18937
If
a human
holds the
position
of
a position
in
an organization
and
the position
is an
instance
of
sports position
,
then
the organization
is an
instance
of
sports team
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
If
a human
holds the
position
of
a position
in
an organization
and
the organization
is an
instance
of
political party
,
then
the human
is a
member
of
the organization
(=>
(
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
If
an organization
is
subordinate
position
a position
for
another position
and
a human
holds the
position
of
the position
in
the organization
,
then there exists
another human
such that
the other human
is an
instance
of
human
and
the other human
holds the
position
of
the other position
in
the organization
and
the organization
is
subordinate
in organization
the human
for
the other human
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
If
an entity
holds the
position
of
secretary of the interior
in
united states department of interior
holds
during
a time position
,
then
the entity
is a
leader
of
united states department of interior
holds
during
the time position
(=>
(
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
If
an entity
holds the
position
of
deacon
in
another entity
and
the other entity
is an
instance
of
religious organization
holds
during
a time position
,
then there exists
a third entity
such that
the third entity
holds the
position
of
cleric
in
the other entity
and
the other entity
is
subordinate
in organization
the entity
for
the third entity
holds
during
the time position
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17278-17280
If
a human
holds the
position
of
a position
in
an organization
,
then
the position
is an
attribute
of
the human
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
If
a human
holds the
position
of
pope
in
roman catholic church
,
then
the human
is a
leader
of
roman catholic church
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21016-21018
If
a human
holds the
position
of
judge
in
an organization
,
then
the organization
is an
instance
of
judicial organization
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21008-21014
If
a human
holds the
position
of
judge
in
an organization
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
legal decision
and
the human
is an
agent
of
the entity
has the
modal
force
of
permission
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
If
an election
candidate
for position
a social role
for
a cognitive agent
and
an agent
is an
agent
of
the election
,
then
the cognitive agent
desire
s
the cognitive agent
holds the
position
of
the social role
in
the agent
(=>
(
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
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then there exists
a human
such that
the human
holds the
position
of
valet
in
the organization
and the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
the third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
possibility
(=>
(
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
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
,
then there exists
an organization
such that
the organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the agent
is an
instance
of
organization
,
then
the human
holds the
position
of
the position
in
an organization
(=>
(
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
If
a process
is an
instance
of
appointing
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the entity
doesn't hold the
position
of
the other entity
in
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
holds the
position
of
the other entity
in
the third entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
If
a human
is an
instance
of
human
and
an organization
is an
instance
of
organization
and
a position
is an
instance
of
position
and the
member
role of
the organization
and
the position
is an
attribute
of
the human
,
then
the human
holds the
position
of
the position
in
the organization
(=>
(
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
If
a process
is an
instance
of
transferring position
and
an agent
experience
s
the process
,
then there exist
an entity
,
another entity
and
a third entity
such that
the agent
holds the
position
of
the entity
in
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
holds the
position
of
the other entity
in
the third entity
holds
during
the
end
of the
time
of existence of
the process
and
the entity
is not
equal
to
the other entity
(=>
(
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
If
an organization
is
subordinate
position
a position
for
another position
and
a human
holds the
position
of
the position
in
the organization
,
then there exists
another human
such that
the other human
is an
instance
of
human
and
the other human
holds the
position
of
the other position
in
the organization
and
the organization
is
subordinate
in organization
the human
for
the other human
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
If
an organization
is
capable
of doing
valet parking
as a
agent
,
then there exists
a human
such that
the human
holds the
position
of
valet
in
the organization
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
If
a geopolitical area
chief
of state
a position
for
a human
,
then
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
If
a geopolitical area
chief
of state
a position
for
a human
,
then
the human
holds the
position
of
leader
in the
government
of
the geopolitical area
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
If
an organization
employ
s
a human
,
then there exists
a position
such that
the human
holds the
position
of
the position
in
the organization
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
If
a geopolitical area
is the
head
of government
a position
for
a human
,
then
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
(=>
(
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
If
an entity
holds the
position
of
deacon
in
another entity
and
the other entity
is an
instance
of
religious organization
holds
during
a time position
,
then there exists
a third entity
such that
the third entity
holds the
position
of
cleric
in
the other entity
and
the other entity
is
subordinate
in organization
the entity
for
the third entity
holds
during
the time position
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7673-7677
If
an organization
is an
instance
of
cafeteria
,
then there doesn't exist
a human
such that
the human
holds the
position
of
service position
in
the organization
(=>
(
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
If
a physical
is an
instance
of
Ordaining
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
patient
of
the physical
and
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
religious organization
and
the entity
is a
member
of
the other entity
and
the third entity
is a
result
of
the physical
and
the third entity
is an
instance
of
religious position
and
the entity
holds the
position
of
the third entity
in
the other entity
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
If
a human
is the judge in
a process
,
then there exists
an organization
such that
the human
holds the
position
of
judge
in
the organization
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
If
a human
punishes
an agent
,
then there exist
an organization
and
a position
such that
the human
holds the
position
of
the position
in
the organization
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
If
a human
punishes
an agent
,
then there exist
an organization
,
a position
and
a process
such that
the human
holds the
position
of
the position
in
the organization
and
the human
is an
agent
of
the process
and
the organization
want
s
the process
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
If
a human
rewards
an agent
,
then there exist
an organization
and
a position
such that
the human
holds the
position
of
the position
in
the organization
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
If
a human
rewards
an agent
,
then there exist
an organization
,
a position
and
a process
such that
the human
holds the
position
of
the position
in
the organization
and
the human
is an
agent
of
the process
and
the organization
want
s
the process
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