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
SuperficialTemporalArtery
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
Il numero 1 argomenti di
occupiesPosition
è un
istanza
di
Umano
(
domain
occupiesPosition
2
Position
)
Merge.kif 17342-17342
Il numero 2 argomenti di
occupiesPosition
è un
istanza
di
Posizione
(
domain
occupiesPosition
3
Organization
)
Merge.kif 17343-17343
Il numero 3 argomenti di
occupiesPosition
è un
istanza
di
Organizzazione
(
instance
occupiesPosition
TernaryPredicate
)
Merge.kif 17340-17340
occupiesPosition
è un'
istanza
di
PredicatoTernario
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
attribute
Posizione
and
CollegeFreshman
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
meno
di1
(=>
(
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
attribute
Posizione
and
CollegeJunior
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 2
NumeroReale
è
meno
di3
(=>
(
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
attribute
Posizione
and
CollegeSenior
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 3
NumeroReale
è
meno
di4
(=>
(
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
attribute
Posizione
and
CollegeSophomore
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 1
NumeroReale
è
meno
di2
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21051-21057
attribute
Umano
and
Professor
Umano
occupa la
posizione
di
Professor
in
OrganizzazioneEducativa
teacher
Umano
and
OrganizzazioneEducativa
OrganizzazioneEducativa
è un'
istanza
di
PostSecondarySchool
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18933-18937
attribute
Umano
and
Teacher
Umano
occupa la
posizione
di
Umano
in
OrganizzazioneEducativa
teacher
Umano
and
OrganizzazioneEducativa
(=>
(
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
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
è un'
istanza
di
DiplomaticOrganization
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
agentOperatesInArea
Organizzazione
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Umano
occupa la
posizione
di
Leader
in
GovernmentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Guidare
AreaGeopolitica
è un
paziente
di
Processo
Processo
è un
agente
di
Umano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
Organizzazione
è un'
istanza
di
AreaGeopolitica
Umano
occupa la
posizione
di
Leader
in
Organizzazione
leader
GovernmentFn
Organizzazione
and
Umano
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
AreaGeopolitica
è un'
istanza
di
Nazione
leader
AreaGeopolitica
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Umano
è un'
istanza
di
Umano
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
attribute
Posizione
and
Banker
Organizzazione
è un'
istanza
di
BankFinancialOrganization
(=>
(
and
(
instance
?O
GovernmentPosition
)
(
occupiesPosition
?P ?O ?ORG))
(
instance
?ORG
GovernmentOrganization
))
Mid-level-ontology.kif 18971-18975
Posizione
è un'
istanza
di
GovernmentPosition
Umano
occupa la
posizione
di
Posizione
in
Posizione
RG
Posizione
RG è un'
istanza
di
GovernmentOrganization
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1411-1417
Organizzazione
è un'
istanza
di
AutonomousAgent
leader
Organizzazione
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leaderPosition
Organizzazione
and
Posizione
(=>
(
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
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1442-1449
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
Organizzazione
è un'
istanza
di
AutonomousAgent
leaderPosition
Organizzazione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leader
Organizzazione
and
Umano
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
ReligiousPosition
))
(
instance
?O
ReligiousOrganization
))
Mid-level-ontology.kif 20906-20910
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Posizione
è un'
istanza
di
ReligiousPosition
Organizzazione
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
and
(
occupiesPosition
?H ?P ?O)
(
instance
?P
SportsPosition
))
(
instance
?O
SportsTeam
))
Mid-level-ontology.kif 18960-18964
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Posizione
è un'
istanza
di
SportsPosition
Organizzazione
è un'
istanza
di
SportsTeam
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2259-2263
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Organizzazione
è un'
istanza
di
PoliticalParty
Umano
è un
membro
di
Organizzazione
(=>
(
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
Organizzazione
,
Posizione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Umano
Umano
è un'
istanza
di
Umano
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
subordinateInOrganization
Organizzazione
,
Umano
and
Umano
(=>
(
holdsDuring
?T1
(
occupiesPosition
?PERSON
SecretaryOfTheInterior
UnitedStatesDepartmentOfInterior
))
(
holdsDuring
?T1
(
leader
UnitedStatesDepartmentOfInterior
?PERSON)))
Government.kif 4823-4827
Entit�
occupa la
posizione
di
SecretaryOfTheInterior
in
UnitedStatesDepartmentOfInterior
vales
durante
PosizioneTemporale
leader
UnitedStatesDepartmentOfInterior
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
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
Entit�
occupa la
posizione
di
Deacon
in
Entit�
Entit�
è un'
istanza
di
OrganizzazioneReligiosa
vales
durante
PosizioneTemporale
Entit�
Entit�
occupa la
posizione
di
Cleric
in
Entit�
subordinateInOrganization
Entit�
,
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
occupiesPosition
?AGENT ?POSITION ?ORG)
(
attribute
?AGENT ?POSITION))
Merge.kif 17349-17351
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
attribute
Umano
and
Posizione
(=>
(
occupiesPosition
?H
Pope
RomanCatholicChurch
)
(
leader
RomanCatholicChurch
?H))
People.kif 1290-1292
Umano
occupa la
posizione
di
Pope
in
RomanCatholicChurch
leader
RomanCatholicChurch
and
Umano
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
instance
?O
JudicialOrganization
))
Mid-level-ontology.kif 21043-21045
Umano
occupa la
posizione
di
JudgeAtLaw
in
Organizzazione
Organizzazione
è un'
istanza
di
JudicialOrganization
(=>
(
occupiesPosition
?P
JudgeAtLaw
?O)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
LegalDecision
)
(
agent
?D ?P)))
Permission
))
Mid-level-ontology.kif 21035-21041
Umano
occupa la
posizione
di
JudgeAtLaw
in
Organizzazione
l'affermazione
Entit�
Entit�
è un'
istanza
di
LegalDecision
Entit�
è un
agente
di
Umano
ha il modello di forza di
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
,
RuoloSociale
and
AgenteCognitivo
Election
è un
agente
di
AutonomousAgent
AgenteCognitivo
desidera
s
AgenteCognitivo
occupa la
posizione
di
RuoloSociale
in
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
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
customer
AgenteCognitivo
and
Organizzazione
Organizzazione
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Arriving
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ValetParking
Entit�
è un
agente
di
Umano
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
ParkingRegion
ha il modello di forza di
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
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
Organizzazione
è un'
istanza
di
DiplomaticOrganization
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4444-4448
diplomaticRepresentativeInRole
AutonomousAgent
,
Umano
,
Posizione
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
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
è un'
istanza
di
Appointing
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1770-1776
Umano
è un'
istanza
di
Umano
Organizzazione
è un'
istanza
di
Organizzazione
Posizione
è un'
istanza
di
Posizione
attribute
Umano
and
MemberRoleFn
Organizzazione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
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
è un'
istanza
di
TransferringPosition
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
and
Entit�
AutonomousAgent
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
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 22805-22813
subordinatePosition
Organizzazione
,
Posizione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Umano
Umano
è un'
istanza
di
Umano
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
subordinateInOrganization
Organizzazione
,
Umano
and
Umano
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 152-155
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1526-1528
chiefOfState
AreaGeopolitica
,
Posizione
and
Umano
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1530-1532
chiefOfState
AreaGeopolitica
,
Posizione
and
Umano
Umano
occupa la
posizione
di
Leader
in
GovernmentFn
AreaGeopolitica
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17353-17356
Organizzazione
impiega
s
Umano
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1579-1581
headOfGovernment
AreaGeopolitica
,
Posizione
and
Umano
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
(=>
(
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
Entit�
occupa la
posizione
di
Deacon
in
Entit�
Entit�
è un'
istanza
di
OrganizzazioneReligiosa
vales
durante
PosizioneTemporale
Entit�
Entit�
occupa la
posizione
di
Cleric
in
Entit�
subordinateInOrganization
Entit�
,
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?COMPANY
Cafeteria
)
(
not
(
exists
(?PERSON)
(
occupiesPosition
?PERSON
ServicePosition
?COMPANY))))
Mid-level-ontology.kif 7700-7704
Organizzazione
è un'
istanza
di
Cafeteria
Umano
Umano
occupa la
posizione
di
ServicePosition
in
Organizzazione
(=>
(
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
Entit�Concreta
è un'
istanza
di
Ordaining
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un
paziente
di
Entit�Concreta
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
OrganizzazioneReligiosa
Entit�
è un
membro
di
Entit�
Entit�
è un
risultato
di
Entit�Concreta
Entit�
è un'
istanza
di
ReligiousPosition
Entit�
occupa la
posizione
di
Entit�
in
Entit�
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
judge
Processo
and
Umano
Organizzazione
Umano
occupa la
posizione
di
JudgeAtLaw
in
Organizzazione
(=>
(
punishes
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 155-158
punishes
Umano
and
AutonomousAgent
Organizzazione
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
punishes
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 160-166
punishes
Umano
and
AutonomousAgent
Organizzazione
Posizione
and
Processo
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Processo
è un
agente
di
Umano
Organizzazione
vuole
s
Processo
(=>
(
rewards
?A ?H)
(
exists
(?O ?P)
(
occupiesPosition
?A ?P ?O)))
Law.kif 111-114
rewards
Umano
and
AutonomousAgent
Organizzazione
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
rewards
?A ?H)
(
exists
(?O ?POS ?PROC)
(
and
(
occupiesPosition
?A ?POS ?O)
(
agent
?PROC ?A)
(
wants
?O ?PROC))))
Law.kif 116-122
rewards
Umano
and
AutonomousAgent
Organizzazione
Posizione
and
Processo
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Processo
è un
agente
di
Umano
Organizzazione
vuole
s
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