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 17295-17298
(
domain
occupiesPosition
1
Human
)
Merge.kif 17292-17292
Die Zahl 1 Argument von
occupiesPosition
ist ein
fall
von
Human
%n{nicht}
(
domain
occupiesPosition
2
Position
)
Merge.kif 17293-17293
Die Zahl 2 Argument von
occupiesPosition
ist ein
fall
von
Position
%n{nicht}
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17294-17294
Die Zahl 3 Argument von
occupiesPosition
ist ein
fall
von
Organization
%n{nicht}
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17291-17291
occupiesPosition
ist ein
fall
von
TernaryPredicate
%n{nicht}
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 18727-18736
Wenn
CollegeFreshman
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
1 %n{nicht}
(=>
(
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 18742-18752
Wenn
CollegeJunior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
2 %n{nicht} und
** RealNumber
ist
kleinerAls
3 %n{nicht}
(=>
(
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 18758-18768
Wenn
CollegeSenior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
3 %n{nicht} und
** RealNumber
ist
kleinerAls
4 %n{nicht}
(=>
(
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 18774-18784
Wenn
CollegeSophomore
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht} und
** RealNumber
ist
kleinerAls
2 %n{nicht}
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21023-21029
Wenn
Professor
ist ein
attribut
von
Human
%n{nicht} und
** Human
besetzt die
position
von
Professor
in
EducationalOrganization
,
dann
teacher
** Human
and
** EducationalOrganization
und
** EducationalOrganization
ist ein
fall
von
PostSecondarySchool
%n{nicht}
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18905-18909
Wenn
Teacher
ist ein
attribut
von
Human
%n{nicht} und
** Human
besetzt die
position
von
** Human
in
EducationalOrganization
,
dann
teacher
** Human
and
** EducationalOrganization
(=>
(
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Organization
and
** AutonomousAgent
(=>
(
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
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Human
besetzt die
position
von
Leader
in
GovernmentFn
** GeopoliticalArea
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Guiding
%n{nicht} und
** GeopoliticalArea
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
Wenn
Organization
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Human
besetzt die
position
von
Leader
in
** Organization
,
dann
leader
GovernmentFn
** Organization
and
** Human
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leader
** GeopoliticalArea
and
Human
und
Position
ist ein
fall
von
Position
%n{nicht} und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leaderPosition
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
** Human
besetzt die
position
von
Position
in
Organization
und
Banker
ist ein
attribut
von
** Position
%n{nicht},
dann
** Organization
ist ein
fall
von
BankFinancialOrganization
%n{nicht}
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18943-18947
Wenn
Position
ist ein
fall
von
GovernmentPosition
%n{nicht} und
Human
besetzt die
position
von
** Position
in
** Position
RG,
dann
** Position
RG ist ein
fall
von
GovernmentOrganization
%n{nicht}
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
Wenn
Organization
ist ein
fall
von
AutonomousAgent
%n{nicht} und
leader
** Organization
and
Human
und
Position
ist ein
fall
von
Position
%n{nicht} und
** Human
besetzt die
position
von
** Position
in
** Organization
,
dann
leaderPosition
** Organization
and
** Position
(=>
(
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
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
** Position
und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
Organization
ist ein
fall
von
AutonomousAgent
%n{nicht} und
leaderPosition
** Organization
and
** Position
und
** Human
besetzt die
position
von
** Position
in
** Organization
,
dann
leader
** Organization
and
** Human
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20878-20882
Wenn
Human
besetzt die
position
von
Position
in
Organization
und
** Position
ist ein
fall
von
ReligiousPosition
%n{nicht},
dann
** Organization
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18932-18936
Wenn
Human
besetzt die
position
von
Position
in
Organization
und
** Position
ist ein
fall
von
SportsPosition
%n{nicht},
dann
** Organization
ist ein
fall
von
SportsTeam
%n{nicht}
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
Wenn
Human
besetzt die
position
von
Position
in
Organization
und
** Organization
ist ein
fall
von
PoliticalParty
%n{nicht},
dann
** Human
ist ein
Mitglied
von
** Organization
%n{nicht}
(=>
(
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 22752-22760
Wenn
subordinatePosition
Organization
,
Position
and
** Position
und
Human
besetzt die
position
von
** Position
in
** Organization
,
dann es gibt
** Human
um
** ** Human
ist ein
fall
von
Human
%n{nicht} und
** ** Human
besetzt die
position
von
** ** Position
in
** Organization
und
subordinateInOrganization
** Organization
,
** Human
and
** ** Human
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4859-4863
Wenn
entity
besetzt die
position
von
SecretaryOfTheInterior
in
UnitedStatesDepartmentOfInterior
haelt
waehrend
TimePosition
%n{nicht},
dann
leader
UnitedStatesDepartmentOfInterior
and
** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 20910-20919
Wenn
entity
besetzt die
position
von
Deacon
in
** entity
und
** ** entity
ist ein
fall
von
ReligiousOrganization
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** entity
um
** ** entity
besetzt die
position
von
Cleric
in
** ** entity
und
subordinateInOrganization
** ** entity
,
** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17300-17302
Wenn
Human
besetzt die
position
von
Position
in
Organization
,
dann
** Position
ist ein
attribut
von
** Human
%n{nicht}
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Wenn
Human
besetzt die
position
von
Pope
in
RomanCatholicChurch
,
dann
leader
RomanCatholicChurch
and
** Human
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21015-21017
Wenn
Human
besetzt die
position
von
JudgeAtLaw
in
Organization
,
dann
** Organization
ist ein
fall
von
JudicialOrganization
%n{nicht}
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21007-21013
Wenn
Human
besetzt die
position
von
JudgeAtLaw
in
Organization
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
LegalDecision
%n{nicht} und
** entity
ist der
agent
von
** Human
%n{nicht} hat die modale Kraft von
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
Wenn
candidateForPosition
Election
,
SocialRole
and
CognitiveAgent
und
** Election
ist der
agent
von
AutonomousAgent
%n{nicht},
dann
** CognitiveAgent
wuenscht
** CognitiveAgent
besetzt die
position
von
** SocialRole
in
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
Organization
ist faehig %n{nicht}, in der Rolle
agent
ValetParking
zu tun und
customer
CognitiveAgent
and
** Organization
und
** Organization
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Arriving
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
Object
%n{nicht},
dann es gibt
Human
um
** Human
besetzt die
position
von
Valet
in
** Organization
und die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
ValetParking
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
endet an
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ParkingRegion
%n{nicht} hat die modale Kraft von
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann es gibt
Organization
um
** Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** Human
besetzt die
position
von
** Position
in
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
Wenn
Process
ist ein
fall
von
Appointing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** entity
und
** entity
um nicht
** Entity
besetzt die
position
von
** ** entity
in
** ** entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
besetzt die
position
von
** ** entity
in
** ** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Organization
ist ein
fall
von
Organization
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
MemberRoleFn
** Organization
and
** Position
ist ein
attribut
von
** Human
%n{nicht},
dann
** Human
besetzt die
position
von
** Position
in
** 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 16947-16960
Wenn
Process
ist ein
fall
von
TransferringPosition
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
entity
,
** entity
, and und
** entity
um
** AutonomousAgent
besetzt die
position
von
** entity
in
** ** entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** AutonomousAgent
besetzt die
position
von
** ** entity
in
** ** entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** entity
ist gleich
** ** entity
nicht
(=>
(
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 22752-22760
Wenn
subordinatePosition
Organization
,
Position
and
** Position
und
Human
besetzt die
position
von
** Position
in
** Organization
,
dann es gibt
** Human
um
** ** Human
ist ein
fall
von
Human
%n{nicht} und
** ** Human
besetzt die
position
von
** ** Position
in
** Organization
und
subordinateInOrganization
** Organization
,
** Human
and
** ** Human
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
Wenn
Organization
ist faehig %n{nicht}, in der Rolle
agent
ValetParking
zu tun,
dann es gibt
Human
um
** Human
besetzt die
position
von
Valet
in
** Organization
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
Wenn
chiefOfState
GeopoliticalArea
,
Position
and
Human
,
dann
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
Wenn
chiefOfState
GeopoliticalArea
,
Position
and
Human
,
dann
** Human
besetzt die
position
von
Leader
in
GovernmentFn
** GeopoliticalArea
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17304-17307
Wenn
Organization
beschaeftigt
Human
%n{nicht},
dann es gibt
Position
um
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
Wenn
headOfGovernment
GeopoliticalArea
,
Position
and
Human
,
dann
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
(=>
(
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 20910-20919
Wenn
entity
besetzt die
position
von
Deacon
in
** entity
und
** ** entity
ist ein
fall
von
ReligiousOrganization
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** entity
um
** ** entity
besetzt die
position
von
Cleric
in
** ** entity
und
subordinateInOrganization
** ** entity
,
** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7672-7676
Wenn
Organization
ist ein
fall
von
Cafeteria
%n{nicht},
dann es gibt nicht
Human
um
** Human
besetzt die
position
von
ServicePosition
in
** 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
Wenn
Physical
ist ein
fall
von
Ordaining
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
patient
von
** Physical
%n{nicht} und
** entity
ist ein
fall
von
Human
%n{nicht} und
** ** entity
ist ein
fall
von
ReligiousOrganization
%n{nicht} und
** entity
ist ein
Mitglied
von
** ** entity
%n{nicht} und
** ** entity
ist ein
resultat
von
** Physical
%n{nicht} und
** ** entity
ist ein
fall
von
ReligiousPosition
%n{nicht} und
** entity
besetzt die
position
von
** ** entity
in
** ** entity
%n{nicht}
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
Wenn
judge
Process
and
Human
,
dann es gibt
Organization
um
** Human
besetzt die
position
von
JudgeAtLaw
in
** Organization
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
Wenn
punishes
Human
and
AutonomousAgent
,
dann es gibt
Organization
und
Position
um
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
Wenn
punishes
Human
and
AutonomousAgent
,
dann es gibt
Organization
,
Position
, and und
Process
um
** Human
besetzt die
position
von
** Position
in
** Organization
und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Organization
wuenscht
** Process
%n{nicht}
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
Wenn
rewards
Human
and
AutonomousAgent
,
dann es gibt
Organization
und
Position
um
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
Wenn
rewards
Human
and
AutonomousAgent
,
dann es gibt
Organization
,
Position
, and und
Process
um
** Human
besetzt die
position
von
** Position
in
** Organization
und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Organization
wuenscht
** Process
%n{nicht}
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