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
employs
Sigma KEE - employs
employs
appearance as argument number 1
(
documentation
employs
ChineseLanguage
"(
employs
?ORG ?PERSON)的意思是 ?ORG 已经聘请了 ?PERSON,并现正以工薪制、每小时制或合约制的方式雇用这个 ?PERSON,以货币为酬劳支付他所提供的服务。")
chinese_format.kif 3725-3726
(
documentation
employs
EnglishLanguage
"(
employs
?A ?PERSON) means that ?A has hired ?PERSON and currently retains ?PERSON, on a salaried, hourly or contractual basis, to provide services in exchange for monetary compensation.")
Merge.kif 16711-16714
(
domain
employs
1
AutonomousAgent
)
Merge.kif 16709-16709
Il numero 1 argomenti di
employs
è un
istanza
di
AutonomousAgent
(
domain
employs
2
CognitiveAgent
)
Merge.kif 16710-16710
Il numero 2 argomenti di
employs
è un
istanza
di
AgenteCognitivo
(
instance
employs
BinaryPredicate
)
Merge.kif 16708-16708
employs
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
employs
"%1 %n{doesn't}
employs
%2")
chinese_format.kif 547-547
(
format
EnglishLanguage
employs
"%1 %n{doesn't} employ%p{s} %2")
english_format.kif 552-552
(
format
FrenchLanguage
employs
"%1 %n{n'} emploie %n{pas} %2")
french_format.kif 321-321
(
format
ItalianLanguage
employs
"%1 %n{non} impiega%p{s} %2")
relations-it.txt 91-91
(
format
JapaneseLanguage
employs
"%1 は %2 を employ%p{s} %n{ない}")
japanese_format.kif 2089-2089
(
format
PortugueseLanguage
employs
"%1 %n{nao} emprega %n %2")
portuguese_format.kif 273-273
(
format
cz
employs
"%1 %n{doesn't} employ%p{s} %2")
relations-cz.txt 327-327
(
format
de
employs
"%1 beschaeftigt %2 %n{nicht}")
relations-de.txt 715-715
(
format
hi
employs
"%1 %2 ko niyukta %n{nahiin} karataa hai")
relations-hindi.txt 131-131
(
format
ro
employs
"%1 %n{nu-l} employ%t{angajeazã} pe %2")
relations-ro.kif 342-342
(
format
sv
employs
"%1 anställer %n{inte} %2")
relations-sv.txt 355-355
(
format
tg
employs
"%1 %n ay pagawin %2")
relations-tg.txt 197-197
(
termFormat
ChineseLanguage
employs
"采用")
domainEnglishFormat.kif 22002-22002
(
termFormat
ChineseLanguage
employs
"雇用")
chinese_format.kif 548-548
(
termFormat
ChineseTraditionalLanguage
employs
"採用")
domainEnglishFormat.kif 22001-22001
(
termFormat
EnglishLanguage
employs
"employs")
domainEnglishFormat.kif 22000-22000
(
termFormat
tg
employs
"pagawin")
relations-tg.txt 198-198
antecedent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
Agreement
impiega
s
Agreement
AgenteCognitivo
AgenteCognitivo
ha un
attributo
Employment
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17325-17333
Entit�
è un'
istanza
di
Umano
Entit�
Entit�
non
impiega
Entit�
vales
durante
PosizioneTemporale
attribute
Entit�
and
Unemployed
vales
durante
PosizioneTemporale
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2179-2183
attribute
AgenteCognitivo
and
SupremeCourtJudge
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
SupremeCourt
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20628-20650
attribute
AgenteCognitivo
and
Waiter
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Restaurant
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Table
Oggetto
Entit�
,
Entit�
and
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
KitchenArea
Oggetto
è un'
istanza
di
DiningArea
Oggetto
è
localizzato
in
Oggetto
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
Carrying
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
customer
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AutonomousAgent
and
TravelerAccommodation
attribute
AgenteCognitivo
and
Porter
AgenteCognitivo
possiede
es
Oggetto
Oggetto
è un'
istanza
di
TravelContainer
Oggetto
Processo
Oggetto
è un'
istanza
di
HotelUnit
Processo
è un'
istanza
di
Carrying
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
Oggetto
Processo
si
originas in
Oggetto
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AutonomousAgent
and
TravelerAccommodation
attribute
AgenteCognitivo
and
TennisProfessional
guest
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Tennis
contestParticipant
Entit�
and
AgenteCognitivo
contestParticipant
Entit�
and
AgenteCognitivo
Entit�
è
localizzato
in
Entit�
AutonomousAgent
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
Entit�
Processo
causa
s
Entit�
suffers
Entit�
and
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un
agente
di
AgenteCognitivo
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
AgenteCognitivo
ROC
Processo
causa
s
AgenteCognitivo
ROC
suffers
AgenteCognitivo
ROC and
AgenteCognitivo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
FinancialAccount
è un'
istanza
di
PensionPlan
accountHolder
FinancialAccount
and
AgenteCognitivo
FinancialCompany
impiega
s
AgenteCognitivo
financialAccount
FinancialAccount
and
FinancialCompany
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
FinancialAccount
è un'
istanza
di
ProfitSharingPlan
accountHolder
FinancialAccount
and
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
profit
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
ScambioFinanziario
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
AY
NumeroReale
AY è un'
istanza
di
ScambioFinanziario
transactionAmount
NumeroReale
AY and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
NumeroReale
AY
fine
s in
FinancialAccount
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
fine
s in
Entit�
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
ScambioFinanziario
Entit�
fine
s in
AutonomousAgent
Entit�
si
originas in
Entit�
(=>
(
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
consequent
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3635-3642
customerRepresentative
AgenteCognitivo
,
AgenteCognitivo
and
Organizzazione
Processo
Processo
è un'
istanza
di
ScambioFinanziario
Organizzazione
impiega
s
AgenteCognitivo
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
attribute
AutonomousAgent
and
TravelerAccommodation
AutonomousAgent
è
capace
di fare
RoomCleaningService
nel ruolo
agent
AgenteCognitivo
Oggetto
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
Maid
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è una
parte
di
appartenenze
di
AutonomousAgent
Oggetto
è
capace
di fare
RoomCleaningService
nel ruolo
patient
AgenteCognitivo
è
capace
di fare
RoomCleaningService
nel ruolo
serviceProvider
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4450-4454
diplomaticRepresentativeInRole
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
GovernmentFn
AreaGeopolitica
impiega
s
Umano
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4456-4460
diplomaticRepresentativeInRole
AutonomousAgent
,
Umano
,
Posizione
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
impiega
s
Umano
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
Certificato
è un'
istanza
di
PayCheck
issuedBy
Certificato
and
AgenteCognitivo
Processo
è un'
istanza
di
Dare
Processo
fine
s in
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
and
(
instance
?FIRE
TerminatingEmployment
)
(
instance
?ORG
Organization
)
(
agent
?FIRE ?ORG)
(
patient
?FIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FIRE))
(
employs
?ORG ?PERSON))
(
holdsDuring
(
EndFn
(
WhenFn
?FIRE))
(
not
(
employs
?ORG ?PERSON)))))
Merge.kif 10774-10782
Processo
è un'
istanza
di
CessazioneDiRapportoLavorativo
AutonomousAgent
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
impiega
s
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
non
impiega
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?HIRE
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?HIRE ?ORG)
(
patient
?HIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?HIRE))
(
not
(
employs
?ORG ?PERSON)))
(
holdsDuring
(
EndFn
(
WhenFn
?HIRE))
(
employs
?ORG ?PERSON))))
Merge.kif 10758-10766
Processo
è un'
istanza
di
Assunzione
AutonomousAgent
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
non
impiega
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
impiega
s
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10654-10663
Processo
è un'
istanza
di
Assunzione
AutonomousAgent
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
impiega
s
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16943-16950
Processo
è un'
istanza
di
LaborStriking
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
Oggetto
è un'
istanza
di
Nursery
%è un
elemento
di %2
attribute
AutonomousAgent
and
TravelerAccommodation
AgenteCognitivo
Entit�
attribute
Oggetto
and
CommunalAttribute
AutonomousAgent
impiega
s
AgenteCognitivo
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
ChildCareService
serviceProvider
Entit�
and
AgenteCognitivo
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4578-4583
representativeAgentToAgent
AreaGeopolitica
,
AgenteCognitivo
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
GovernmentFn
AreaGeopolitica
impiega
s
AgenteCognitivo
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4571-4576
representativeAgentToAgent
AutonomousAgent
,
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
attribute
?PERSON
JudgeAtLaw
)
(
exists
(?ORG)
(
and
(
instance
?ORG
JudicialOrganization
)
(
instance
?ORG
GovernmentOrganization
)
(
employs
?ORG ?PERSON))))
Mid-level-ontology.kif 21025-21031
attribute
AgenteCognitivo
and
JudgeAtLaw
AutonomousAgent
AutonomousAgent
è un'
istanza
di
JudicialOrganization
AutonomousAgent
è un'
istanza
di
GovernmentOrganization
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
attribute
Oggetto
and
BarberShops
Oggetto
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Hair
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Tagliare
Entit�
è un
paziente
di
Entit�
eventLocated
Entit�
and
Oggetto
Entit�
è un
agente
di
Entit�
Oggetto
impiega
s
Entit�
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
è
capace
di fare
ChildCareService
nel ruolo
agent
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
AgenteCognitivo
è
capace
di fare
ChildCareService
nel ruolo
serviceProvider
(=>
(
colleague
?A1 ?A2 ?ORG)
(
exists
(?T)
(
holdsDuring
?T
(
and
(
employs
?ORG ?A1)
(
employs
?ORG ?A2)))))
Mid-level-ontology.kif 16865-16871
colleague
Umano
,
Umano
and
Organizzazione
PosizioneTemporale
Organizzazione
impiega
s
Umano
Organizzazione
impiega
s
Umano
vales
durante
PosizioneTemporale
(=>
(
employeeContribution
?Agent ?Money ?Period)
(
exists
(?Org ?Plan)
(
and
(
instance
?Plan
PensionPlan
)
(
employs
?Org ?Agent)
(
agent
?Plan ?Org)
(
destination
?Plan ?Agent))))
FinancialOntology.kif 3357-3364
employeeContribution
Umano
,
MisuraMonetaria
and
IntervalloTemporale
AutonomousAgent
Processo
Processo
è un'
istanza
di
PensionPlan
AutonomousAgent
impiega
s
Umano
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Umano
(=>
(
holdsDuring
?T1
(
attribute
?X
GovernmentPerson
))
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
holdsDuring
?T1
(
employs
?GOV ?X)))))
Mid-level-ontology.kif 22466-22471
attribute
Entit�
and
GovernmentPerson
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Governo
Entit�
impiega
s
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T1
(
coworker
?H1 ?H2))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
holdsDuring
?T1
(
and
(
employs
?ORG ?H1)
(
employs
?ORG ?H2))))))
Mid-level-ontology.kif 23017-23026
coworker
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Organizzazione
Entit�
impiega
s
Entit�
Entit�
impiega
s
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
Entit�
è un'
istanza
di
DrugStore
l'affermazione
Entit�
attribute
Entit�
and
Pharmacist
Entit�
impiega
s
Entit�
ha il modello di forza di
Likely
(=>
(
instance
?G
GeniusBar
)
(
hasPurpose
?G
(
exists
(?M ?CS)
(
and
(
employs
?M
AppleComputerCorporation
)
(
instance
?CS
CustomerSupport
)
(
agent
?CS ?M)
(
located
?CS ?G)))))
ComputingBrands.kif 3084-3092
Entit�Concreta
è un'
istanza
di
GeniusBar
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
impiega
s
AppleComputerCorporation
Entit�
è un'
istanza
di
CustomerSupport
Entit�
è un
agente
di
Entit�
Entit�
è
localizzato
in
Entit�Concreta
(=>
(
instance
?MS
MedicalService
)
(
exists
(?AGENT ?HUMAN ?PROC)
(
and
(
agent
?MS ?AGENT)
(
employs
?AGENT ?HUMAN)
(
attribute
?HUMAN
MedicalDoctor
)
(
serviceProvider
?MS ?HUMAN)
(
or
(
instance
?PROC
TherapeuticProcess
)
(
instance
?PROC
DiagnosticProcess
))
(
subProcess
?PROC ?MS))))
Hotel.kif 2281-2292
ServiceProcess
è un'
istanza
di
MedicalService
AutonomousAgent
AgenteCognitivo
and
Processo
ServiceProcess
è un
agente
di
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
MedicalDoctor
serviceProvider
ServiceProcess
and
AgenteCognitivo
Processo
è un'
istanza
di
ProcessoTerapeutico
Processo
è un'
istanza
di
ProcessoDiagnostico
Processo
è un
sottoprocesso
di
ServiceProcess
(=>
(
instance
?ORG
UnionOrganization
)
(
exists
(?COLL ?MEMBER)
(=>
(
member
?MEMBER ?ORG)
(
or
(
and
(
instance
?COLL
Corporation
)
(
employs
?COLL ?MEMBER))
(
exists
(?CORP)
(
and
(
instance
?COLL
Industry
)
(
member
?CORP ?COLL)
(
employs
?CORP ?MEMBER)))))))
Mid-level-ontology.kif 8571-8584
InsiemeConcreto
è un'
istanza
di
UnionOrganization
AutonomousAgent
AgenteCognitivo
AgenteCognitivo
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un'
istanza
di
Corporazione
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Industry
AutonomousAgent
è un
membro
di
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
instance
?X
RestaurantBuilding
)
(
hasPurpose
?X
(
exists
(?OWN ?EMP ?EV ?P ?PAY)
(
and
(
employs
?OWN ?EMP)
(
possesses
?OWN ?X)
(
instance
?P
Human
)
(
instance
?PAY
FinancialTransaction
)
(
agent
?PAY ?P)
(
patient
?PAY ?EMP)
(
confersRight
?EMP ?EV ?P)
(
instance
?EV
Eating
)
(
agent
?EV ?P)
(
eventLocated
?EV ?X)))))
Mid-level-ontology.kif 22612-22626
Entit�Concreta
è un'
istanza
di
RestaurantBuilding
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
AY
Entit�
impiega
s
Entit�
Entit�
possiede
es
Entit�Concreta
Entit�
è un'
istanza
di
Umano
Entit�
AY è un'
istanza
di
ScambioFinanziario
Entit�
AY è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
AY
Entit�
permette
a
Entit�
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
ServiceProcess
è un'
istanza
di
SecretarialService
AgenteCognitivo
AgenteCognitivo
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
serviceRecipient
ServiceProcess
and
AgenteCognitivo
AgenteCognitivo
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
ClericalSecretary
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
exists
(?H)
(
and
(
attribute
?H
NewReporter
)
(
employs
ProPublica
?H)))
Medicine.kif 4590-4593
AgenteCognitivo
attribute
AgenteCognitivo
and
NewReporter
ProPublica
impiega
s
AgenteCognitivo
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