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 16640-16643
(
domain
employs
1
AutonomousAgent
)
Merge.kif 16638-16638
O argumento numero 1 de
employs
e' uma
instancia
de
AutonomousAgent
(
domain
employs
2
CognitiveAgent
)
Merge.kif 16639-16639
O argumento numero 2 de
employs
e' uma
instancia
de
Agente Cognitivo
(
instance
employs
BinaryPredicate
)
Merge.kif 16637-16637
employs
e' uma
instancia
de
Predicado Binario
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
emprega
Agreement
Agente Cognitivo
Agente Cognitivo
tem um
atributo
de
Employment
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17254-17262
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
nao
emprega
%n
Entidade
vale
durante
Posicao Temporal
Unemployed
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2215-2219
SupremeCourtJudge
e' um
atributo
de
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
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 20601-20623
Waiter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Restaurant
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Table
Objeto
Entidade
,
Entidade
and
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
KitchenArea
Objeto
e' uma
instancia
de
DiningArea
Objeto
e'
situado
em
Objeto
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
Carrying
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Objeto
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
(=>
(
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
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Porter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
possui
Objeto
Objeto
e' uma
instancia
de
TravelContainer
Objeto
Processo
Objeto
e' uma
instancia
de
HotelUnit
Processo
e' uma
instancia
de
Carrying
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Objeto
Processo
tem como
origem
Objeto
(=>
(
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
emprega
Agente Cognitivo
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
TennisProfessional
e' um
atributo
de
Agente Cognitivo
guest
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Tennis
contestParticipant
Entidade
and
Agente Cognitivo
contestParticipant
Entidade
and
Agente Cognitivo
Entidade
e'
situado
em
Entidade
AutonomousAgent
e'
situado
em
Entidade
tem a
forca
modal
de
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
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Entidade
Processo
causa
Entidade
suffers
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
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
emprega
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Agente Cognitivo
ROC
Processo
causa
Agente Cognitivo
ROC
suffers
Agente Cognitivo
ROC and
Agente Cognitivo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
FinancialAccount
e' uma
instancia
de
PensionPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
FinancialCompany
emprega
Agente Cognitivo
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
e' uma
instancia
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
profit
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
AY
Numero Real
AY e' uma
instancia
de
Transacao Financeira
transactionAmount
Numero Real
AY and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
Numero Real
AY
termina
em
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
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
termina
em
Entidade
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
termina
em
AutonomousAgent
Entidade
tem como
origem
Entidade
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
Organizacao
emprega
Humano
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
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
Agente Cognitivo
,
Agente Cognitivo
and
Organizacao
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Organizacao
emprega
Agente Cognitivo
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
(=>
(
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
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
RoomCleaningService
no role
agent
Agente Cognitivo
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Maid
e' um
atributo
de
Agente Cognitivo
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma &parte de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
RoomCleaningService
no role
patient
Agente Cognitivo
e'
capaz
de fazer
RoomCleaningService
no role
serviceProvider
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
diplomaticRepresentativeInRole
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
o
governo
de
Area Geopolitica
emprega
Humano
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
diplomaticRepresentativeInRole
AutonomousAgent
,
Humano
,
Posicao
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
emprega
Humano
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
Certificado
e' uma
instancia
de
PayCheck
issuedBy
Certificado
and
Agente Cognitivo
Processo
e' uma
instancia
de
Dar
Processo
termina
em
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
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 10740-10748
Processo
e' uma
instancia
de
Despedir
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
emprega
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
nao
emprega
%n
Entidade
vale
durante o
fim
de
tempo
de existencia de
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 10724-10732
Processo
e' uma
instancia
de
Empregar
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
nao
emprega
%n
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
emprega
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
Processo
e' uma
instancia
de
Empregar
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
emprega
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923
Processo
e' uma
instancia
de
LaborStriking
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
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
Objeto
e' uma
instancia
de
Nursery
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Agente Cognitivo
Entidade
CommunalAttribute
e' um
atributo
de
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
ChildCareService
serviceProvider
Entidade
and
Agente Cognitivo
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
representativeAgentToAgent
Area Geopolitica
,
Agente Cognitivo
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
o
governo
de
Area Geopolitica
emprega
Agente Cognitivo
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
representativeAgentToAgent
AutonomousAgent
,
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
attribute
?PERSON
JudgeAtLaw
)
(
exists
(?ORG)
(
and
(
instance
?ORG
JudicialOrganization
)
(
instance
?ORG
GovernmentOrganization
)
(
employs
?ORG ?PERSON))))
Mid-level-ontology.kif 20998-21004
JudgeAtLaw
e' um
atributo
de
Agente Cognitivo
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
JudicialOrganization
AutonomousAgent
e' uma
instancia
de
GovernmentOrganization
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
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
BarberShops
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Hair
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Cortar
Entidade
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
e' um
agente
de
Entidade
Objeto
emprega
Entidade
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
e'
capaz
de fazer
ChildCareService
no role
agent
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
e'
capaz
de fazer
ChildCareService
no role
serviceProvider
(=>
(
colleague
?A1 ?A2 ?ORG)
(
exists
(?T)
(
holdsDuring
?T
(
and
(
employs
?ORG ?A1)
(
employs
?ORG ?A2)))))
Mid-level-ontology.kif 16838-16844
colleague
Humano
,
Humano
and
Organizacao
Posicao Temporal
Organizacao
emprega
Humano
Organizacao
emprega
Humano
vale
durante
Posicao Temporal
(=>
(
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
Humano
,
Medida de Divisa
and
Intervalo Temporal
AutonomousAgent
Processo
Processo
e' uma
instancia
de
PensionPlan
AutonomousAgent
emprega
Humano
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Humano
(=>
(
holdsDuring
?T1
(
attribute
?X
GovernmentPerson
))
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
holdsDuring
?T1
(
employs
?GOV ?X)))))
Mid-level-ontology.kif 22414-22419
GovernmentPerson
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Governo
Entidade
emprega
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T1
(
coworker
?H1 ?H2))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
holdsDuring
?T1
(
and
(
employs
?ORG ?H1)
(
employs
?ORG ?H2))))))
Mid-level-ontology.kif 22965-22974
coworker
Entidade
and
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Organizacao
Entidade
emprega
Entidade
Entidade
emprega
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
Entidade
e' uma
instancia
de
DrugStore
o argumento
Entidade
Pharmacist
e' um
atributo
de
Entidade
Entidade
emprega
Entidade
tem a
forca
modal
de
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
Fisico
e' uma
instancia
de
GeniusBar
Fisico
tem por
fim
Entidade
Entidade
Entidade
emprega
AppleComputerCorporation
Entidade
e' uma
instancia
de
CustomerSupport
Entidade
e' um
agente
de
Entidade
Entidade
e'
situado
em
Fisico
(=>
(
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
e' uma
instancia
de
MedicalService
AutonomousAgent
Agente Cognitivo
and
Processo
ServiceProcess
e' um
agente
de
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
MedicalDoctor
e' um
atributo
de
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Processo
e' uma
instancia
de
Processo Terapeutico
Processo
e' uma
instancia
de
Processo de Diagnostico
Processo
e' um
sub
-processo de
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 8544-8557
Colecao
e' uma
instancia
de
UnionOrganization
AutonomousAgent
Agente Cognitivo
Agente Cognitivo
e'
membro
de
Colecao
AutonomousAgent
e' uma
instancia
de
Empresa
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Industry
AutonomousAgent
e'
membro
de
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
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 22560-22574
Fisico
e' uma
instancia
de
RestaurantBuilding
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
AY
Entidade
emprega
Entidade
Entidade
possui
Fisico
Entidade
e' uma
instancia
de
Humano
Entidade
AY e' uma
instancia
de
Transacao Financeira
Entidade
AY e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
AY
Entidade
autoriza
Entidade
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
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
e' uma
instancia
de
SecretarialService
Agente Cognitivo
Agente Cognitivo
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
serviceRecipient
ServiceProcess
and
Agente Cognitivo
Agente Cognitivo
emprega
Agente Cognitivo
ClericalSecretary
e' um
atributo
de
Agente Cognitivo
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
Agente Cognitivo
NewReporter
e' um
atributo
de
Agente Cognitivo
ProPublica
emprega
Agente Cognitivo
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