Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 17448-17451
(
domain
occupiesPosition
1
Human
)
Merge.kif 17445-17445
Le nombre 1 argument de
occupiesPosition
est une
instance
de
humain
(
domain
occupiesPosition
2
Position
)
Merge.kif 17446-17446
Le nombre 2 argument de
occupiesPosition
est une
instance
de
position
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17447-17447
Le nombre 3 argument de
occupiesPosition
est une
instance
de
organisation
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17444-17444
occupiesPosition
est une
instance
de
pr�dicat ternaire
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 41628-41628
(
termFormat
ChineseTraditionalLanguage
occupiesPosition
"佔據位置")
domainEnglishFormat.kif 41627-41627
(
termFormat
EnglishLanguage
occupiesPosition
"occupies position")
domainEnglishFormat.kif 41626-41626
(
termFormat
de
occupiesPosition
"besetztPosition")
terms-de.txt 220-220
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 20299-20308
CollegeFreshman
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
moins
que 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 20314-20324
CollegeJunior
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 2
nombre r�el
est
moins
que 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 20330-20340
CollegeSenior
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 3
nombre r�el
est
moins
que 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 20346-20356
CollegeSophomore
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 1
nombre r�el
est
moins
que 2
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 22641-22647
Professor
est un
attribut
de
humain
humain
occupe la
position
de
Professor
�cole
teacher
humain
and
�cole
�cole
est une
instance
de
PostSecondarySchool
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 20477-20481
Teacher
est un
attribut
de
humain
humain
occupe la
position
de
humain
�cole
teacher
humain
and
�cole
(=>
(
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 4472-4480
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
agentOperatesInArea
organisation
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 2270-2278
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
le
gouvernment
de
secteur g�opolitique
processus
processus
est une
instance
de
guider
secteur g�opolitique
est un
patient
de
processus
processus
est un
agent
de
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1308-1312
Organisation
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
organisation
leader
le
gouvernment
de
organisation
and
humain
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1418-1424
Secteur g�opolitique
est une
instance
de
nation
leader
secteur g�opolitique
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3670-3675
Humain
est une
instance
de
humain
humain
occupe la
position
de
position
organisation
Banker
est un
attribut
de
position
organisation
est une
instance
de
BankFinancialOrganization
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 20515-20519
Position
est une
instance
de
GovernmentPosition
humain
occupe la
position
de
position
position
RG
position
RG est une
instance
de
GovernmentOrganization
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1409-1415
Organisation
est une
instance
de
AutonomousAgent
leader
organisation
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
organisation
leaderPosition
organisation
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 1449-1456
Humain
est une
instance
de
humain
position
est une
instance
de
position
secteur g�opolitique
est une
instance
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1440-1447
Humain
est une
instance
de
humain
position
est une
instance
de
position
organisation
est une
instance
de
AutonomousAgent
leaderPosition
organisation
and
position
humain
occupe la
position
de
position
organisation
leader
organisation
and
humain
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 22496-22500
Humain
occupe la
position
de
position
organisation
position
est une
instance
de
ReligiousPosition
organisation
est une
instance
de
organisation religieuse
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 20504-20508
Humain
occupe la
position
de
position
organisation
position
est une
instance
de
SportsPosition
organisation
est une
instance
de
SportsTeam
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2256-2260
Humain
occupe la
position
de
position
organisation
organisation
est une
instance
de
PoliticalParty
humain
est un
membre
de
organisation
(=>
(
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 24394-24402
subordinatePosition
organisation
,
position
and
position
humain
occupe la
position
de
position
organisation
humain
humain
est une
instance
de
humain
humain
occupe la
position
de
position
organisation
subordinateInOrganization
organisation
,
humain
and
humain
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4820-4824
Entit�
occupe la
position
de
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
pendant
position temporel
leader
UnitedStatesDepartmentOfInterior
and
entit�
pendant
position temporel
(=>
(
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 22528-22537
Entit�
occupe la
position
de
Deacon
entit�
entit�
est une
instance
de
organisation religieuse
pendant
position temporel
entit�
entit�
occupe la
position
de
Cleric
entit�
subordinateInOrganization
entit�
,
entit�
and
entit�
pendant
position temporel
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17453-17455
Humain
occupe la
position
de
position
organisation
position
est un
attribut
de
humain
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1291-1293
Humain
occupe la
position
de
Pope
RomanCatholicChurch
leader
RomanCatholicChurch
and
humain
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 22633-22635
Humain
occupe la
position
de
JudgeAtLaw
organisation
organisation
est une
instance
de
JudicialOrganization
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 22625-22631
Humain
occupe la
position
de
JudgeAtLaw
organisation
l'argument
entit�
entit�
est une
instance
de
LegalDecision
entit�
est un
agent
de
humain
a la
force
modale
de
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 1812-1816
candidateForPosition
Election
,
r�le social
and
agent cognitif
Election
est un
agent
de
AutonomousAgent
agent cognitif
desire
agent cognitif
occupe la
position
de
r�le social
AutonomousAgent
(=>
(
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 157-176
Organisation
est
capable
de faire
ValetParking
dans le r�le
agent
customer
agent cognitif
and
organisation
organisation
est
situ
� �
objet
processus
est une
instance
de
Arriving
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
objet
humain
humain
occupe la
position
de
Valet
organisation
l'argument
entit�
entit�
entit�
est une
instance
de
ValetParking
entit�
est un
agent
de
humain
entit�
est un
patient
de
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
ParkingRegion
a la
force
modale
de
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 4431-4439
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4441-4445
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
humain
occupe la
position
de
position
organisation
(=>
(
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 1035-1048
Processus
est une
instance
de
Appointing
entit�
est un
patient
de
processus
entit�
entit�
entit�
n' occupe la
position
de
entit�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
occupe la
position
de
entit�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
leader
?P ?ORG))
(
occupiesPosition
?P
MilitaryCommander
?ORG))
MilitaryPersons.kif 339-343
Humain
est une
instance
de
MilitaryOrganization
leader
humain
and
humain
humain
occupe la
position
de
MilitaryCommander
humain
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1768-1774
Humain
est une
instance
de
humain
organisation
est une
instance
de
organisation
position
est une
instance
de
position
MemberRoleFn
organisation
and
position
est un
attribut
de
humain
humain
occupe la
position
de
position
organisation
(=>
(
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 18335-18348
Processus
est une
instance
de
TransferringPosition
AutonomousAgent
exp
�rimente
processus
entit�
entit�
and
entit�
AutonomousAgent
occupe la
position
de
entit�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
occupe la
position
de
entit�
entit�
pendant
la
fin
de
temps
d'existence de
processus
equal
entit�
and
entit�
(=>
(
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 24394-24402
subordinatePosition
organisation
,
position
and
position
humain
occupe la
position
de
position
organisation
humain
humain
est une
instance
de
humain
humain
occupe la
position
de
position
organisation
subordinateInOrganization
organisation
,
humain
and
humain
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 152-155
Organisation
est
capable
de faire
ValetParking
dans le r�le
agent
humain
humain
occupe la
position
de
Valet
organisation
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1524-1526
chiefOfState
secteur g�opolitique
,
position
and
humain
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1528-1530
chiefOfState
secteur g�opolitique
,
position
and
humain
humain
occupe la
position
de
Leader
le
gouvernment
de
secteur g�opolitique
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17457-17460
Organisation
emploie
humain
position
humain
occupe la
position
de
position
organisation
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1577-1579
headOfGovernment
secteur g�opolitique
,
position
and
humain
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
(=>
(
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 22528-22537
Entit�
occupe la
position
de
Deacon
entit�
entit�
est une
instance
de
organisation religieuse
pendant
position temporel
entit�
entit�
occupe la
position
de
Cleric
entit�
subordinateInOrganization
entit�
,
entit�
and
entit�
pendant
position temporel
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 8840-8844
Organisation
est une
instance
de
Cafeteria
humain
humain
occupe la
position
de
ServicePosition
organisation
(=>
(
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 136-147
Physique
est une
instance
de
Ordaining
physique
a pour
but
entit�
entit�
and
entit�
entit�
est un
patient
de
physique
entit�
est une
instance
de
humain
entit�
est une
instance
de
organisation religieuse
entit�
est un
membre
de
entit�
entit�
est le
resultat
de
physique
entit�
est une
instance
de
ReligiousPosition
entit�
occupe la
position
de
entit�
entit�
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
judge
processus
and
humain
organisation
humain
occupe la
position
de
JudgeAtLaw
organisation
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
punishes
humain
and
AutonomousAgent
organisation
position
humain
occupe la
position
de
position
organisation
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
punishes
humain
and
AutonomousAgent
organisation
position
and
processus
humain
occupe la
position
de
position
organisation
processus
est un
agent
de
humain
organisation
veut
processus
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
rewards
humain
and
AutonomousAgent
organisation
position
humain
occupe la
position
de
position
organisation
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
rewards
humain
and
AutonomousAgent
organisation
position
and
processus
humain
occupe la
position
de
position
organisation
processus
est un
agent
de
humain
organisation
veut
processus
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