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
employs
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
employs
2
CognitiveAgent
)
Merge.kif 16639-16639
employs
の数値 2 引数は
認識エージェント
の
instance
では %n
(
instance
employs
BinaryPredicate
)
Merge.kif 16637-16637
employs
は
2進述語
の
instance
では %n
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
は
Agreement
を
employ
s %n{ない}
認識エージェント
認識エージェント
には
attribute
Employment
%n{ない}
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17254-17262
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
を
employ
ない は
時間位置
の
during
holds %n{ない}
Unemployed
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2215-2219
SupremeCourtJudge
は
認識エージェント
の
attribute
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
SupremeCourt
の
instance
では %n
(=>
(
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
は
認識エージェント
の
attribute
では %n
認識エージェント
は
人[人間]
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
Restaurant
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
オブジェクト
に
located
して %n
オブジェクト
は
Table
の
instance
では %n
オブジェクト
エンティティー
,
エンティティー
and
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
KitchenArea
の
instance
では %n
オブジェクト
は
DiningArea
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
認識エージェント
は
エンティティー
は
Carrying
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n の 目的 %n{ない}
(=>
(
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
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
Porter
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
TravelContainer
の
instance
では %n
オブジェクト
工程
オブジェクト
は
HotelUnit
の
instance
では %n
工程
は
Carrying
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
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
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
TennisProfessional
は
認識エージェント
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Tennis
の
instance
では %n
contestParticipant
エンティティー
and
認識エージェント
contestParticipant
エンティティー
and
認識エージェント
エンティティー
は
エンティティー
に
located
して %n
AutonomousAgent
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
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
は
認識エージェント
を
employ
s %n{ない}
工程
は
DoNetworkMessaging
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
NSFW
は
オブジェクト
の
attribute
では %n
工程
は
見ること
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
認識エージェント
は
工程
の
agent
では %n
ステートメント
エンティティー
工程
は
エンティティー
を
cause
s %n{ない}
suffers
エンティティー
and
認識エージェント
には
Possibility
の
modal
force
が ある
(=>
(
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
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
工程
は
DoNetworkMessaging
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
NSFW
は
オブジェクト
の
attribute
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
見ること
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
認識エージェント
は
工程
の
agent
では %n
ステートメント
認識エージェント
ROC
工程
は
認識エージェント
ROC を
cause
s %n{ない}
suffers
認識エージェント
ROC and
認識エージェント
には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
FinancialAccount
は
PensionPlan
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
FinancialCompany
は
認識エージェント
を
employ
s %n{ない}
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
は
ProfitSharingPlan
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
profit
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
実数
実数
AY
実数
AY は
金融取引
の
instance
では %n
transactionAmount
実数
AY and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
実数
AY は
FinancialAccount
に
end
s %n{ない}
(=>
(
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
工程
は
CommercialService
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
エンティティー
は
金融取引
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
エンティティー
から
originate
s %n{ない} の 目的 %n{ない}
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
組織
は
人[人間]
を
employ
s %n{ない}
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
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
認識エージェント
,
認識エージェント
and
組織
工程
工程
は
金融取引
の
instance
では %n
組織
は
認識エージェント
を
employ
s %n{ない}
認識エージェント
は
工程
の
agent
では %n
工程
は
認識エージェント
に
end
s %n{ない}
(=>
(
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
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
RoomCleaningService
を
agent
として行う
capable
では %n
認識エージェント
オブジェクト
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
Maid
は
認識エージェント
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
part
では %n
オブジェクト
は
RoomCleaningService
を
patient
として行う
capable
では %n
認識エージェント
は
RoomCleaningService
を
serviceProvider
として行う
capable
では %n
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
の
government
は
人[人間]
を
employ
s %n{ない}
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
diplomaticRepresentativeInRole
AutonomousAgent
,
人[人間]
,
ポジション
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
人[人間]
を
employ
s %n{ない}
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
証明書
は
PayCheck
の
instance
では %n
issuedBy
証明書
and
認識エージェント
工程
は
与える
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
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
工程
は
雇用の終了
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
を
employ
s %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
を
employ
ない は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
工程
は
雇用
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
を
employ
ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
を
employ
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
工程
は
雇用
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
を
employ
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
LaborStriking
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
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
オブジェクト
は
Nursery
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
認識エージェント
エンティティー
CommunalAttribute
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
認識エージェント
は
エンティティー
は
ChildCareService
の
instance
では %n
認識エージェント
は
エンティティー
の間サービスを provides %n{ない} の 目的 %n{ない}
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
representativeAgentToAgent
地政学的地域
,
認識エージェント
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
認識エージェント
は
認識エージェント
の
instance
では %n
地政学的地域
の
government
は
認識エージェント
を
employ
s %n{ない}
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
representativeAgentToAgent
AutonomousAgent
,
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
認識エージェント
は
認識エージェント
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
attribute
?PERSON
JudgeAtLaw
)
(
exists
(?ORG)
(
and
(
instance
?ORG
JudicialOrganization
)
(
instance
?ORG
GovernmentOrganization
)
(
employs
?ORG ?PERSON))))
Mid-level-ontology.kif 20998-21004
JudgeAtLaw
は
認識エージェント
の
attribute
では %n
AutonomousAgent
AutonomousAgent
は
JudicialOrganization
の
instance
では %n
AutonomousAgent
は
GovernmentOrganization
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
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
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Hair
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
切断
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
を
employ
s %n{ない} の 目的 %n{ない}
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
は
ChildCareService
を
agent
として行う
capable
では %n
認識エージェント
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
認識エージェント
は
ChildCareService
を
serviceProvider
として行う
capable
では %n
(=>
(
colleague
?A1 ?A2 ?ORG)
(
exists
(?T)
(
holdsDuring
?T
(
and
(
employs
?ORG ?A1)
(
employs
?ORG ?A2)))))
Mid-level-ontology.kif 16838-16844
colleague
人[人間]
,
人[人間]
and
組織
時間位置
組織
は
人[人間]
を
employ
s %n{ない}
組織
は
人[人間]
を
employ
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
人[人間]
,
通貨測定
and
時間間隔
AutonomousAgent
工程
工程
は
PensionPlan
の
instance
では %n
AutonomousAgent
は
人[人間]
を
employ
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
工程
は
人[人間]
に
end
s %n{ない}
(=>
(
holdsDuring
?T1
(
attribute
?X
GovernmentPerson
))
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
holdsDuring
?T1
(
employs
?GOV ?X)))))
Mid-level-ontology.kif 22414-22419
GovernmentPerson
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
政府
の
instance
では %n
エンティティー
は
エンティティー
を
employ
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
組織
の
instance
では %n
エンティティー
は
エンティティー
を
employ
s %n{ない}
エンティティー
は
エンティティー
を
employ
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
エンティティー
は
DrugStore
の
instance
では %n
ステートメント
エンティティー
Pharmacist
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
を
employ
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
物理
は
GeniusBar
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Apple
を
employ
s %n{ない}
エンティティー
は
CustomerSupport
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
物理
に
located
して %n の 目的 %n{ない}
(=>
(
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
は
MedicalService
の
instance
では %n
AutonomousAgent
認識エージェント
and
工程
AutonomousAgent
は
ServiceProcess
の
agent
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
MedicalDoctor
は
認識エージェント
の
attribute
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
工程
は
治療経過
の
instance
では %n
工程
は
診断プロセス
の
instance
では %n
工程
は
ServiceProcess
% の
subprocess
では %n
(=>
(
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
コレクション
は
UnionOrganization
の
instance
では %n
AutonomousAgent
認識エージェント
認識エージェント
は
コレクション
の
member
では %n
AutonomousAgent
は
法人
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
AutonomousAgent
は
Industry
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
member
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
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
物理
は
RestaurantBuilding
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
AY
エンティティー
は
エンティティー
を
employ
s %n{ない}
エンティティー
は
物理
を
possess
es %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
AY は
金融取引
の
instance
では %n
エンティティー
は
エンティティー
AY の
agent
では %n
エンティティー
は
エンティティー
AY の
patient
では %n
エンティティー
は
エンティティー
が
エンティティー
のタスクを実行することはを
allow
s %n{ない}
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
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
は
SecretarialService
の
instance
では %n
認識エージェント
認識エージェント
and
認識エージェント
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
認識エージェント
は
ServiceProcess
の間サービスを receives %n{ない}
認識エージェント
は
認識エージェント
を
employ
s %n{ない}
ClericalSecretary
は
認識エージェント
の
attribute
では %n
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
認識エージェント
NewReporter
は
認識エージェント
の
attribute
では %n
ProPublica
は
認識エージェント
を
employ
s %n{ない}
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