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
域
採用
, 1 and
AutonomousAgent
(
domain
employs
2
CognitiveAgent
)
Merge.kif 16639-16639
域
採用
, 2 and
CognitiveAgent
(
instance
employs
BinaryPredicate
)
Merge.kif 16637-16637
例
採用
and
BinaryPredicate
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
採用
協議
and
協議
CognitiveAgent
屬性
CognitiveAgent
and
僱用
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17254-17262
持有期間
TimePosition
and
例
entity
and
Human
entity
採用
entity
and
entity
持有期間
TimePosition
and
attribute
entity
and
失業的
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2215-2219
attribute
CognitiveAgent
and
最高法院法官
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
最高法院
(=>
(
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
attribute
CognitiveAgent
and
Waiter
例
CognitiveAgent
and
Human
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
餐廳
AutonomousAgent
是
CognitiveAgent
的
customer
位於
CognitiveAgent
and
Object
例
Object
and
表
Object
entity
,
entity
and
Object
擁有
AutonomousAgent
and
Object
例
Object
and
KitchenArea
例
Object
and
DiningArea
位於
Object
and
Object
有目的
CognitiveAgent
and
例
entity
and
攜帶
agent
entity
and
CognitiveAgent
起源
entity
and
Object
目的地
entity
and
Object
患者
entity
and
entity
例
entity
and
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 2392-2407
AutonomousAgent
是
CognitiveAgent
的
customer
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
Porter
擁有
CognitiveAgent
and
Object
例
Object
and
旅行集裝箱
Object
Process
例
Object
and
HotelUnit
例
Process
and
攜帶
agent
Process
and
CognitiveAgent
目的地
Process
and
Object
起源
Process
and
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 1522-1535
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
TennisProfessional
CognitiveAgent
是在
AutonomousAgent
的
guest
模態屬性
entity
entity
例
entity
and
Tennis
CognitiveAgent
participates
在
entity
CognitiveAgent
participates
在
entity
位於
entity
and
entity
位於
AutonomousAgent
and
entity
and
可能性
(=>
(
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
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
entity
原因
Process
and
entity
CognitiveAgent
suffers
從
entity
and
可能性
(=>
(
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
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
agent
Process
and
CognitiveAgent
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
CognitiveAgent
ROC
原因
Process
and
CognitiveAgent
ROC
CognitiveAgent
suffers
從
CognitiveAgent
ROC and
容易
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
例
金融賬戶
and
養老金計劃
CognitiveAgent
持有
account
金融賬戶
採用
金融公司
and
CognitiveAgent
金融公司
是
金融賬戶
的
financial
帳號
(=>
(
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
例
金融賬戶
and
利潤分享計劃
CognitiveAgent
持有
account
金融賬戶
採用
AutonomousAgent
and
CognitiveAgent
從
FinancialTransaction
的
profit
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
agent
FinancialTransaction
and
AutonomousAgent
RealNumber
RealNumber
AY
例
RealNumber
AY and
FinancialTransaction
測量
RealNumber
and
UnitOfMeasure
是
RealNumber
AY 的
transaction
總額
少於
RealNumber
and
RealNumber
目的地
RealNumber
AY and
金融賬戶
(=>
(
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
例
Process
and
商業服務
agent
Process
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
目的地
Process
and
Entity
有目的
Process
and
entity
例
entity
and
FinancialTransaction
目的地
entity
and
AutonomousAgent
起源
entity
and
Entity
(=>
(
employs
?ORG ?PERSON)
(
exists
(?POSITION)
(
occupiesPosition
?PERSON ?POSITION ?ORG)))
Merge.kif 17282-17285
採用
Organization
and
Human
Position
佔據位置
Human
,
Position
and
Organization
consequent
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3635-3642
CognitiveAgent
對於 %3 的
customer
代表
Process
例
Process
and
FinancialTransaction
採用
Organization
and
CognitiveAgent
agent
Process
and
CognitiveAgent
目的地
Process
and
CognitiveAgent
(=>
(
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
旅客住宿
能力
RoomCleaningService
,
agent
and
AutonomousAgent
CognitiveAgent
Object
採用
AutonomousAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
女傭
例
Object
and
HotelUnit
部分
Object
and
屬性
AutonomousAgent
能力
RoomCleaningService
,
患者
and
Object
能力
RoomCleaningService
,
服務提供者
and
CognitiveAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
GeopoliticalArea
採用
政府
GeopoliticalArea
and
Human
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
AutonomousAgent
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
AutonomousAgent
and
Organization
採用
AutonomousAgent
and
Human
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
例
Certificate
and
支票
CognitiveAgent
是由
Certificate
的
issued
例
Process
and
Giving
目的地
Process
and
AutonomousAgent
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
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
例
Process
and
TerminatingEmployment
例
AutonomousAgent
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
採用
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
採用
AutonomousAgent
and
Entity
(=>
(
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
例
Process
and
Hiring
例
AutonomousAgent
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
採用
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
採用
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
例
Process
and
Hiring
例
AutonomousAgent
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
採用
AutonomousAgent
and
Entity
(=>
(
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
例
Process
and
勞工引人注目
agent
Process
and
CognitiveAgent
例
CognitiveAgent
and
Human
患者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Organization
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
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
例
Object
and
Nursery
元件
Object
and
屬性
AutonomousAgent
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
entity
attribute
Object
and
CommunalAttribute
採用
AutonomousAgent
and
CognitiveAgent
有目的
CognitiveAgent
and
例
entity
and
ChildCareService
服務提供者
entity
and
CognitiveAgent
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
%1 是 對於 %3 給代理 %2 的
representative
代理
例
GeopoliticalArea
and
Nation
例
CognitiveAgent
and
CognitiveAgent
採用
政府
GeopoliticalArea
and
CognitiveAgent
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
%1 是 對於 %3 給代理 %2 的
representative
代理
例
AutonomousAgent
and
Organization
例
CognitiveAgent
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
attribute
?PERSON
JudgeAtLaw
)
(
exists
(?ORG)
(
and
(
instance
?ORG
JudicialOrganization
)
(
instance
?ORG
GovernmentOrganization
)
(
employs
?ORG ?PERSON))))
Mid-level-ontology.kif 20998-21004
attribute
CognitiveAgent
and
法官
AutonomousAgent
例
AutonomousAgent
and
司法組織
例
AutonomousAgent
and
政府組織
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
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
Object
and
理髮店
有目的
Object
and
entity
entity
,
entity
and
entity
例
entity
and
頭髮
部分
entity
and
entity
例
entity
and
Human
例
entity
and
Cutting
患者
entity
and
entity
entity
是
located
在
Object
agent
entity
and
entity
採用
Object
and
entity
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
能力
ChildCareService
,
agent
and
AutonomousAgent
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
能力
ChildCareService
,
服務提供者
and
CognitiveAgent
(=>
(
colleague
?A1 ?A2 ?ORG)
(
exists
(?T)
(
holdsDuring
?T
(
and
(
employs
?ORG ?A1)
(
employs
?ORG ?A2)))))
Mid-level-ontology.kif 16838-16844
Human
和
Human
時受催於組織
Organization
TimePosition
持有期間
TimePosition
and
採用
Organization
and
Human
採用
Organization
and
Human
(=>
(
employeeContribution
?Agent ?Money ?Period)
(
exists
(?Org ?Plan)
(
and
(
instance
?Plan
PensionPlan
)
(
employs
?Org ?Agent)
(
agent
?Plan ?Org)
(
destination
?Plan ?Agent))))
FinancialOntology.kif 3357-3364
Human
對於
TimeInterval
employee
貢獻
CurrencyMeasure
AutonomousAgent
Process
例
Process
and
養老金計劃
採用
AutonomousAgent
and
Human
agent
Process
and
AutonomousAgent
目的地
Process
and
Human
(=>
(
holdsDuring
?T1
(
attribute
?X
GovernmentPerson
))
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
holdsDuring
?T1
(
employs
?GOV ?X)))))
Mid-level-ontology.kif 22414-22419
持有期間
TimePosition
and
attribute
entity
and
政府人
Entity
例
Entity
and
Government
持有期間
TimePosition
and
採用
Entity
and
entity
(=>
(
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
持有期間
TimePosition
and
entity
是
entity
的
coworker
Entity
例
Entity
and
Organization
持有期間
TimePosition
and
採用
Entity
and
entity
採用
Entity
and
entity
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
例
Entity
and
藥店
模態屬性
entity
attribute
entity
and
藥劑師
採用
Entity
and
entity
and
容易
(=>
(
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
例
Physical
and
GeniusBar
有目的
Physical
and
entity
entity
採用
entity
and
蘋果
例
entity
and
CustomerSupport
agent
entity
and
entity
位於
entity
and
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 2281-2292
例
服務
and
MedicalService
AutonomousAgent
CognitiveAgent
and
Process
agent
服務
and
AutonomousAgent
採用
AutonomousAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
醫生
服務提供者
服務
and
CognitiveAgent
例
Process
and
TherapeuticProcess
例
Process
and
DiagnosticProcess
子過程
Process
and
服務
(=>
(
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
例
Collection
and
工會組織
AutonomousAgent
CognitiveAgent
會員
CognitiveAgent
and
Collection
例
AutonomousAgent
and
Corporation
採用
AutonomousAgent
and
CognitiveAgent
AutonomousAgent
例
AutonomousAgent
and
行業
會員
AutonomousAgent
and
AutonomousAgent
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
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
例
Physical
and
餐廳建築
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
AY
採用
entity
and
entity
擁有
entity
and
Physical
例
entity
and
Human
例
entity
AY and
FinancialTransaction
agent
entity
AY and
entity
患者
entity
AY and
entity
賦予權利
entity
,
entity
and
entity
例
entity
and
Eating
agent
entity
and
entity
entity
是
located
在
Physical
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
例
服務
and
SecretarialService
CognitiveAgent
CognitiveAgent
and
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
服務接收者
服務
and
CognitiveAgent
採用
CognitiveAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
文書秘書
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
CognitiveAgent
attribute
CognitiveAgent
and
NewReporter
採用
ProPublica
and
CognitiveAgent
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