Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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
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 16800-16803
(
domain
employs
1
AutonomousAgent
)
Merge.kif 16798-16798
The number 1 argument of
employs
is an
instance
of
agent
(
domain
employs
2
CognitiveAgent
)
Merge.kif 16799-16799
The number 2 argument of
employs
is an
instance
of
cognitive agent
(
instance
employs
BinaryPredicate
)
Merge.kif 16797-16797
employs
is an
instance
of
binary predicate
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 22011-22011
(
termFormat
ChineseLanguage
employs
"雇用")
chinese_format.kif 548-548
(
termFormat
ChineseTraditionalLanguage
employs
"採用")
domainEnglishFormat.kif 22010-22010
(
termFormat
EnglishLanguage
employs
"employs")
domainEnglishFormat.kif 22009-22009
(
termFormat
de
employs
"beschaeftigt")
terms-de.txt 218-218
(
termFormat
tg
employs
"pagawin")
relations-tg.txt 198-198
antecedent
(<=>
(
employs
?EMPLOYER ?EMPLOYEE)
(
and
(
instance
?EMPLOYER
Employer
)
(
instance
?EMPLOYEE
Employee
)))
Economy.kif 1497-1501
An agent
employ
s
a cognitive agent
if and only if
the agent
is an
instance
of
employer
and
the cognitive agent
is an
instance
of
employee
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3277-3283
An agreement
employ
s
another agreement
if and only if there exists
a cognitive agent
such that
the cognitive agent
the
attribute
employment
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17414-17422
An entity
is an
instance
of
human
and for all
another entity
the other entity
doesn't
employ
the entity
holds
during
a time position
if and only if
unemployed person
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2176-2180
If
supreme court judge
is an
attribute
of
a cognitive agent
and
an agent
employ
s
the cognitive agent
,
then
the agent
is an
instance
of
supreme court
(=>
(
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 22218-22240
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
an agent
employ
s
the cognitive agent
and
the agent
is an
instance
of
restaurant
and
the agent
is a
customer
of
another cognitive agent
and
the other cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then there exist
another object
,
an entity
,, ,
another entity
and
a third object
such that
the agent
possess
es
the third object
and
the third object
is an
instance
of
kitchen area
and
the other object
is an
instance
of
dining area
and
the object
is
located
at
the other object
and
the cognitive agent
has the purpose
the entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the third object
and
the entity
end
s up at
the object
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
(=>
(
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 2403-2418
If
an agent
is a
customer
of
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
porter
is an
attribute
of
the other cognitive agent
and
the cognitive agent
possess
es
an object
and
the object
is an
instance
of
travel container
,
then there exist
another object
and
a process
such that
the other object
is an
instance
of
hotel unit
and
the process
is an
instance
of
carrying
and
the other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other object
or
the process
originate
s at
the other object
(=>
(
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 1533-1546
If
an agent
employ
s
a cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
tennis pro
is an
attribute
of
the cognitive agent
and
another cognitive agent
is a
guest
at
the agent
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
tennis
and
the cognitive agent
participates
in
the entity
and
the other cognitive agent
participates
in
the entity
and
the entity
is
located
at
the other entity
and
the agent
is
located
at
the other entity
has the
modal
force
of
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 3041-3055
If
an agent
employ
s
a cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the cognitive agent
is an
agent
of
the other process
,
then the statement there exists
an entity
such that
the other process
cause
s
the entity
and
the cognitive agent
suffers
from
the entity
has the
modal
force
of
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 3023-3039
If
an agent
employ
s
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
the cognitive agent
is an
agent
of
the process
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the other cognitive agent
is an
agent
of
the other process
,
then the statement there exists
the cognitive agent
ROC such that
the process
cause
s
the cognitive agent
ROC and
the cognitive agent
suffers
from
the cognitive agent
ROC has the
modal
force
of
likely
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1196-1201
If
a financial account
is an
instance
of
pension plan
and
a cognitive agent
holds
account
the financial account
and
a financial company
employ
s
the cognitive agent
,
then
the financial account
is a
financial
account of
the financial company
(=>
(
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 1208-1223
If
a financial account
is an
instance
of
profit sharing plan
and
a cognitive agent
holds
account
the financial account
and
an agent
employ
s
the cognitive agent
and the
profit
from
a financial transaction
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and
the agent
is an
agent
of
the financial transaction
,
then there exist
another real number
and
the real number
AY such that
the real number
AY is an
instance
of
financial transaction
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the real number
AY and
the other real number
is
less
than
the real number
and
the real number
AY
end
s up at
the financial account
(=>
(
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 3608-3619
If
a process
is an
instance
of
commercial service
and
a cognitive agent
is an
agent
of
the process
and
an agent
employ
s
the cognitive agent
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the other entity
end
s up at
the agent
and
the other entity
originate
s at
the entity
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17442-17445
If
an organization
employ
s
a human
,
then there exists
a position
such that
the human
holds the
position
of
the position
in
the organization
consequent
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3653-3660
A cognitive agent
customer
representative
another cognitive agent
for
an organization
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the organization
employ
s
the cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other cognitive agent
(=>
(
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 1946-1957
If
traveler accommodation
is an
attribute
of
an agent
and
the agent
is
capable
of doing
service
as a
agent
,
then there exist
a cognitive agent
and
an object
such that
the agent
employ
s
the cognitive agent
and
maid
is an
attribute
of
the cognitive agent
and
the object
is an
instance
of
hotel unit
and
the object
is a
part
of
belongings
of
the agent
and
the object
is
capable
of doing
service
as a
patient
and
the cognitive agent
is
capable
of doing
service
as a
service provider
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4447-4451
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
employ
s
the human
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4453-4457
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the agent
is an
instance
of
organization
,
then
the agent
employ
s
the human
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 173-179
If
a certificate
is an
instance
of
pay check
and
a cognitive agent
is an
issued
by of
the certificate
and
a process
is an
instance
of
giving
and
the process
end
s up at
an agent
,
then
the agent
employ
s
the cognitive agent
(=>
(
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 10863-10871
If
a process
is an
instance
of
terminating employment
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
employ
s
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
doesn't
employ
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 10847-10855
If
a process
is an
instance
of
hiring
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
doesn't
employ
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
employ
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10743-10752
If
a process
is an
instance
of
hiring
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
employ
s
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 18303-18310
If
a process
is an
instance
of
labor striking
and
a cognitive agent
is an
agent
of
the process
and
the cognitive agent
is an
instance
of
human
and
an agent
is a
patient
of
the process
and
the agent
is an
instance
of
organization
,
then
the agent
employ
s
the cognitive agent
(=>
(
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 1913-1925
If
an object
is an
instance
of
nursery
and
the object
is an
element
of
belongings
of
an agent
and
traveler accommodation
is an
attribute
of
the agent
,
then there exist
a cognitive agent
and
an entity
such that
communal
is an
attribute
of
the object
and
the agent
employ
s
the cognitive agent
and
the cognitive agent
has the purpose
the entity
is an
instance
of
child-care service
and
the cognitive agent
provides a service during
the entity
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4575-4580
If
a geopolitical area
is
representative
agent to agent
a cognitive agent
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the cognitive agent
is an
instance
of
cognitive agent
,
then the
government
of
the geopolitical area
employ
s
the cognitive agent
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4568-4573
If
an agent
is
representative
agent to agent
a cognitive agent
for
another agent
and
the agent
is an
instance
of
organization
and
the cognitive agent
is an
instance
of
cognitive agent
,
then
the agent
employ
s
the cognitive agent
(=>
(
attribute
?PERSON
JudgeAtLaw
)
(
exists
(?ORG)
(
and
(
instance
?ORG
JudicialOrganization
)
(
instance
?ORG
GovernmentOrganization
)
(
employs
?ORG ?PERSON))))
Mid-level-ontology.kif 22615-22621
If
judge
is an
attribute
of
a cognitive agent
,
then there exists
an agent
such that
the agent
is an
instance
of
judicial organization
and
the agent
is an
instance
of
government organization
and
the agent
employ
s
the cognitive agent
(=>
(
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
If
barber shops
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
hair
and
the entity
is a
part
of
the other entity
and
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
cutting
and
the entity
is a
patient
of
the third entity
and
the third entity
is
located
at
the object
and
the fourth entity
is an
agent
of
the third entity
and
the object
employ
s
the fourth entity
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1894-1899
If
an agent
is
capable
of doing
child-care service
as a
agent
,
then there exists
a cognitive agent
such that
the agent
employ
s
the cognitive agent
and
the cognitive agent
is
capable
of doing
child-care service
as a
service provider
(=>
(
colleague
?A1 ?A2 ?ORG)
(
exists
(?T)
(
holdsDuring
?T
(
and
(
employs
?ORG ?A1)
(
employs
?ORG ?A2)))))
Mid-level-ontology.kif 18225-18231
If
a human
and
another human
were
employs
by the same organization
an organization
,
then there exists
a time position
such that
the organization
employ
s
the human
and
the organization
employ
s
the other human
holds
during
the time position
(=>
(
employeeContribution
?Agent ?Money ?Period)
(
exists
(?Org ?Plan)
(
and
(
instance
?Plan
PensionPlan
)
(
employs
?Org ?Agent)
(
agent
?Plan ?Org)
(
destination
?Plan ?Agent))))
FinancialOntology.kif 3374-3381
If
a human
employee
contribution
a currency measure
for
a time interval
,
then there exist
an agent
and
a process
such that
the process
is an
instance
of
pension plan
and
the agent
employ
s
the human
and
the agent
is an
agent
of
the process
and
the process
end
s up at
the human
(=>
(
holdsDuring
?T1
(
attribute
?X
GovernmentPerson
))
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
holdsDuring
?T1
(
employs
?GOV ?X)))))
Mid-level-ontology.kif 24057-24062
If
government person
is an
attribute
of
an entity
holds
during
a time position
,
then there exists
another entity
such that
the other entity
is an
instance
of
government
and
the other entity
employ
s
the entity
holds
during
the time position
(=>
(
holdsDuring
?T1
(
coworker
?H1 ?H2))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
holdsDuring
?T1
(
and
(
employs
?ORG ?H1)
(
employs
?ORG ?H2))))))
Mid-level-ontology.kif 24608-24617
If
an entity
is a
coworker
of
another entity
holds
during
a time position
,
then there exists
a third entity
such that
the third entity
is an
instance
of
organization
and
the third entity
employ
s
the other entity
and
the third entity
employ
s
the entity
holds
during
the time position
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3123-3130
If
an entity
is an
instance
of
drug store
,
then the statement there exists
another entity
such that
pharmacist
is an
attribute
of
the other entity
and
the entity
employ
s
the other entity
has the
modal
force
of
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
If
a physical
is an
instance
of
Genius Bar
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
employ
s
Apple
and
the other entity
is an
instance
of
customer support
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
the physical
(=>
(
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 2292-2303
If
a service
is an
instance
of
medical service
,
then there exist
an agent
,
a cognitive agent
and
a process
such that
the agent
is an
agent
of
the service
and
the agent
employ
s
the cognitive agent
and
medical doctor
is an
attribute
of
the cognitive agent
and
the cognitive agent
provides a service during
the service
and
the process
is an
instance
of
therapeutic process
or
the process
is an
instance
of
diagnostic process
and
the process
is a
subprocess
of
the service
(=>
(
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 9750-9763
If
a collection
is an
instance
of
union organization
,
then there exist
an agent
and
a cognitive agent
such that
if
the cognitive agent
is a
member
of
the collection
,
then
the agent
is an
instance
of
corporation
and
the agent
employ
s
the cognitive agent
or there exists
another agent
such that
the agent
is an
instance
of
industry
and
the other agent
is a
member
of
the agent
and
the other agent
employ
s
the cognitive agent
(=>
(
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 24203-24217
If
a physical
is an
instance
of
restaurant building
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
the fourth entity
AY such that
the entity
employ
s
the other entity
and
the entity
possess
es
the physical
and
the fourth entity
is an
instance
of
human
and
the fourth entity
AY is an
instance
of
financial transaction
and
the fourth entity
is an
agent
of
the fourth entity
AY and
the other entity
is a
patient
of
the fourth entity
AY and
the third entity
allow
s
the fourth entity
to perform task of the type
the other entity
and
the third entity
is an
instance
of
eating
and
the fourth entity
is an
agent
of
the third entity
and
the third entity
is
located
at
the physical
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2311-2318
If
a service
is an
instance
of
secretarial service
,
then there exist
a cognitive agent
,
another cognitive agent
and
a third cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the other cognitive agent
receives a service during
the service
and
the cognitive agent
employ
s
the third cognitive agent
and
clerical secretary
is an
attribute
of
the third cognitive agent
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 4597-4600
There exists
a cognitive agent
such that
NewReporter
is an
attribute
of
the cognitive agent
and
Pro Publica Inc.
employ
s
the cognitive agent
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