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 17344-17347
(
domain
occupiesPosition
1
Human
)
Merge.kif 17341-17341
O argumento numero 1 de
occupiesPosition
e' uma
instancia
de
Humano
(
domain
occupiesPosition
2
Position
)
Merge.kif 17342-17342
O argumento numero 2 de
occupiesPosition
e' uma
instancia
de
Posicao
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17343-17343
O argumento numero 3 de
occupiesPosition
e' uma
instancia
de
Organizacao
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17340-17340
occupiesPosition
e' uma
instancia
de
Predicado Ternario
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 41622-41622
(
termFormat
ChineseTraditionalLanguage
occupiesPosition
"佔據位置")
domainEnglishFormat.kif 41621-41621
(
termFormat
EnglishLanguage
occupiesPosition
"occupies position")
domainEnglishFormat.kif 41620-41620
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 18755-18764
CollegeFreshman
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
menos
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 18770-18780
CollegeJunior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 2
Numero Real
e'
menos
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 18786-18796
CollegeSenior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 3
Numero Real
e'
menos
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 18802-18812
CollegeSophomore
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 1
Numero Real
e'
menos
que 2
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21051-21057
Professor
e' um
atributo
de
Humano
Humano
ocupa a
posicao
de
Professor
Organizacao Educacional
teacher
Humano
and
Organizacao Educacional
Organizacao Educacional
e' uma
instancia
de
PostSecondarySchool
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18933-18937
Teacher
e' um
atributo
de
Humano
Humano
ocupa a
posicao
de
Humano
Organizacao Educacional
teacher
Humano
and
Organizacao Educacional
(=>
(
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 4475-4483
diplomaticRepresentativeInRole
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
e' uma
instancia
de
DiplomaticOrganization
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Humano
ocupa a
posicao
de
Posicao
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
agentOperatesInArea
Organizacao
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 2273-2281
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Humano
ocupa a
posicao
de
Leader
o
governo
de
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Guiar
Area Geopolitica
e' um
patient
de
Processo
Processo
e' um
agente
de
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
Organizacao
e' uma
instancia
de
Area Geopolitica
Humano
ocupa a
posicao
de
Leader
Organizacao
leader
o
governo
de
Organizacao
and
Humano
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
Area Geopolitica
e' uma
instancia
de
Nacao
leader
Area Geopolitica
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Humano
e' uma
instancia
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
Banker
e' um
atributo
de
Posicao
Organizacao
e' uma
instancia
de
BankFinancialOrganization
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18971-18975
Posicao
e' uma
instancia
de
GovernmentPosition
Humano
ocupa a
posicao
de
Posicao
Posicao
RG
Posicao
RG e' uma
instancia
de
GovernmentOrganization
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1411-1417
Organizacao
e' uma
instancia
de
AutonomousAgent
leader
Organizacao
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leaderPosition
Organizacao
and
Posicao
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1451-1458
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1442-1449
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Organizacao
e' uma
instancia
de
AutonomousAgent
leaderPosition
Organizacao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leader
Organizacao
and
Humano
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20906-20910
Humano
ocupa a
posicao
de
Posicao
Organizacao
Posicao
e' uma
instancia
de
ReligiousPosition
Organizacao
e' uma
instancia
de
Organizacao Religiosa
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18960-18964
Humano
ocupa a
posicao
de
Posicao
Organizacao
Posicao
e' uma
instancia
de
SportsPosition
Organizacao
e' uma
instancia
de
SportsTeam
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2259-2263
Humano
ocupa a
posicao
de
Posicao
Organizacao
Organizacao
e' uma
instancia
de
PoliticalParty
Humano
e'
membro
de
Organizacao
(=>
(
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
Organizacao
,
Posicao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Humano
Humano
e' uma
instancia
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
subordinateInOrganization
Organizacao
,
Humano
and
Humano
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4823-4827
Entidade
ocupa a
posicao
de
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
vale
durante
Posicao Temporal
leader
UnitedStatesDepartmentOfInterior
and
Entidade
vale
durante
Posicao Temporal
(=>
(
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 20938-20947
Entidade
ocupa a
posicao
de
Deacon
Entidade
Entidade
e' uma
instancia
de
Organizacao Religiosa
vale
durante
Posicao Temporal
Entidade
Entidade
ocupa a
posicao
de
Cleric
Entidade
subordinateInOrganization
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17349-17351
Humano
ocupa a
posicao
de
Posicao
Organizacao
Posicao
e' um
atributo
de
Humano
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Humano
ocupa a
posicao
de
Pope
RomanCatholicChurch
leader
RomanCatholicChurch
and
Humano
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21043-21045
Humano
ocupa a
posicao
de
JudgeAtLaw
Organizacao
Organizacao
e' uma
instancia
de
JudicialOrganization
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21035-21041
Humano
ocupa a
posicao
de
JudgeAtLaw
Organizacao
o argumento
Entidade
Entidade
e' uma
instancia
de
LegalDecision
Entidade
e' um
agente
de
Humano
tem a
forca
modal
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 1814-1818
candidateForPosition
Election
,
Role Social
and
Agente Cognitivo
Election
e' um
agente
de
AutonomousAgent
Agente Cognitivo
deseja
Agente Cognitivo
ocupa a
posicao
de
Role 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
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
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 4434-4442
diplomaticRepresentativeInRole
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
Organizacao
e' uma
instancia
de
DiplomaticOrganization
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4444-4448
diplomaticRepresentativeInRole
AutonomousAgent
,
Humano
,
Posicao
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
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
Processo
e' uma
instancia
de
Appointing
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
nao ocupa %n a
posicao
de
Entidade
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
ocupa a
posicao
de
Entidade
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1770-1776
Humano
e' uma
instancia
de
Humano
Organizacao
e' uma
instancia
de
Organizacao
Posicao
e' uma
instancia
de
Posicao
MemberRoleFn
Organizacao
and
Posicao
e' um
atributo
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
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 16975-16988
Processo
e' uma
instancia
de
TransferringPosition
AutonomousAgent
experimenta
Processo
Entidade
Entidade
and
Entidade
AutonomousAgent
ocupa a
posicao
de
Entidade
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
ocupa a
posicao
de
Entidade
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
(=>
(
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
Organizacao
,
Posicao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Humano
Humano
e' uma
instancia
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
subordinateInOrganization
Organizacao
,
Humano
and
Humano
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 152-155
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1526-1528
chiefOfState
Area Geopolitica
,
Posicao
and
Humano
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1530-1532
chiefOfState
Area Geopolitica
,
Posicao
and
Humano
Humano
ocupa a
posicao
de
Leader
o
governo
de
Area Geopolitica
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17353-17356
Organizacao
emprega
Humano
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1579-1581
headOfGovernment
Area Geopolitica
,
Posicao
and
Humano
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
(=>
(
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 20938-20947
Entidade
ocupa a
posicao
de
Deacon
Entidade
Entidade
e' uma
instancia
de
Organizacao Religiosa
vale
durante
Posicao Temporal
Entidade
Entidade
ocupa a
posicao
de
Cleric
Entidade
subordinateInOrganization
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7700-7704
Organizacao
e' uma
instancia
de
Cafeteria
Humano
Humano
ocupa a
posicao
de
ServicePosition
Organizacao
(=>
(
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
Fisico
e' uma
instancia
de
Ordaining
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' um
patient
de
Fisico
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Organizacao Religiosa
Entidade
e'
membro
de
Entidade
Entidade
e' o
resultado
de
Fisico
Entidade
e' uma
instancia
de
ReligiousPosition
Entidade
ocupa a
posicao
de
Entidade
Entidade
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
judge
Processo
and
Humano
Organizacao
Humano
ocupa a
posicao
de
JudgeAtLaw
Organizacao
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
punishes
Humano
and
AutonomousAgent
Organizacao
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
punishes
Humano
and
AutonomousAgent
Organizacao
Posicao
and
Processo
Humano
ocupa a
posicao
de
Posicao
Organizacao
Processo
e' um
agente
de
Humano
Organizacao
quer
Processo
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
rewards
Humano
and
AutonomousAgent
Organizacao
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
rewards
Humano
and
AutonomousAgent
Organizacao
Posicao
and
Processo
Humano
ocupa a
posicao
de
Posicao
Organizacao
Processo
e' um
agente
de
Humano
Organizacao
quer
Processo
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