employs - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16640-16643
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16638-16638	域採用, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16639-16639	域採用, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16637-16637	例採用 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 547-547
No TPTP formula. May not be expressible in strict first order.	english_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	french_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 91-91
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2089-2089
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 327-327
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 715-715
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 342-342
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 355-355
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 197-197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22002-22002
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22001-22001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22000-22000
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 198-198

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3260-3266	採用協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
No TPTP formula. May not be expressible in strict first order.	Government.kif 2215-2219	attribute CognitiveAgent and 最高法院法官採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 最高法院
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	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 模態屬性 CognitiveAgentROC 原因 Process and CognitiveAgentROC CognitiveAgent suffers 從 CognitiveAgentROC and 容易
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1180-1185	例金融賬戶 and 養老金計劃 CognitiveAgent 持有 account 金融賬戶採用金融公司 and CognitiveAgent 金融公司是金融賬戶的 financial 帳號
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	例金融賬戶 and 利潤分享計劃 CognitiveAgent 持有 account 金融賬戶採用 AutonomousAgent and CognitiveAgent 從 FinancialTransaction 的 profit 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency agent FinancialTransaction and AutonomousAgent RealNumber RealNumberAY 例 RealNumberAY and FinancialTransaction 測量 RealNumber and UnitOfMeasure 是 RealNumberAY 的 transaction 總額少於 RealNumber and RealNumber 目的地 RealNumberAY and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17282-17285	採用 Organization and Human Position 佔據位置 Human, Position and Organization

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and GeopoliticalArea 採用政府 GeopoliticalArea and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	AutonomousAgent 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 AutonomousAgent and Organization 採用 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	例 Certificate and 支票 CognitiveAgent 是由 Certificate 的 issued 例 Process and Giving 目的地 Process and AutonomousAgent 採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10620-10629	例 Process and Hiring 例 AutonomousAgent and Organization agent Process and AutonomousAgent 患者 Process and Entity 持有期間眼前的未來何時 Process and 採用 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16916-16923	例 Process and 勞工引人注目 agent Process and CognitiveAgent 例 CognitiveAgent and Human 患者 Process and AutonomousAgent 例 AutonomousAgent and Organization 採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4614-4619	%１是對於％３給代理％２的 representative 代理例 GeopoliticalArea and Nation 例 CognitiveAgent and CognitiveAgent 採用政府 GeopoliticalArea and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	%１是對於％３給代理％２的 representative 代理例 AutonomousAgent and Organization 例 CognitiveAgent and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20998-21004	attribute CognitiveAgent and 法官 AutonomousAgent 例 AutonomousAgent and 司法組織例 AutonomousAgent and 政府組織採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	能力 ChildCareService, agent and AutonomousAgent CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 能力 ChildCareService, 服務提供者 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16838-16844	Human 和 Human 時受催於組織 Organization TimePosition 持有期間 TimePosition and 採用 Organization and Human 採用 Organization and Human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3357-3364	Human 對於 TimeInterval employee 貢獻 CurrencyMeasure AutonomousAgent Process 例 Process and 養老金計劃採用 AutonomousAgent and Human agent Process and AutonomousAgent 目的地 Process and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22414-22419	持有期間 TimePosition and attribute entity and 政府人 Entity 例 Entity and Government 持有期間 TimePosition and 採用 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22974	持有期間 TimePosition and entity 是 entity 的 coworker Entity 例 Entity and Organization 持有期間 TimePosition and 採用 Entity and entity 採用 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3122-3129	例 Entity and 藥店模態屬性 entity attribute entity and 藥劑師採用 Entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3084-3092	例 Physical and GeniusBar 有目的 Physical and entity entity 採用 entity and 蘋果例 entity and CustomerSupport agent entity and entity 位於 entity and Physical
No TPTP formula. May not be expressible in strict first order.	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 服務
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22560-22574	例 Physical and 餐廳建築有目的 Physical and entity entity, entity, entity and entityAY 採用 entity and entity 擁有 entity and Physical 例 entity and Human 例 entityAY and FinancialTransaction agent entityAY and entity 患者 entityAY and entity 賦予權利 entity, entity and entity 例 entity and Eating agent entity and entity entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4590-4593

CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: