desires - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1936-1938
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2791-2795
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 565-568
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2788-2788	域慾望, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2789-2789	域慾望, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2785-2785	例慾望 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2784-2784	例慾望 and PropositionalAttitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2787-2787	相關的內部概念慾望 and 想要
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2786-2786	子關係慾望 and 在感興趣的範圍內

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7439-7439	不相交的關係不贊成 and 慾望
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	english_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	french_format.kif 68-68
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 70-70
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1894-1894
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 20-20
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 87-87
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 67-67
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 156-156
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2764-2764	相關的內部概念想要 and 慾望
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19260-19260
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 92-92
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19259-19259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19258-19258
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 28-28
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 157-157

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	AutonomousAgent provides Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Entity and Object 慾望 CognitiveAgent and entity 例 entity and IntentionalProcess 患者 entity and Entity agent entity and CognitiveAgent 模態屬性賦予權利使用 Entity and CognitiveAgent, AutonomousAgent and CognitiveAgent and 可能性
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	持有期間 TimeInterval and 慾望 AutonomousAgent and attribute Entity and 死例 AutonomousAgentURDER and 謀殺 agent AutonomousAgentURDER and AutonomousAgent 患者 AutonomousAgentURDER and Entity 早期 TimeInterval and 何時 AutonomousAgentURDER attribute AutonomousAgentURDER and Premeditated
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	例 Process and 防禦性信息操作 agent Process and CognitiveAgent enemy CognitiveAgent and CognitiveAgent 慾望 CognitiveAgent and 知道 CognitiveAgent and entity 慾望 CognitiveAgent and 知道 CognitiveAgent and entity 有目的 Process and 知道 CognitiveAgent and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29507-29519	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object 等於 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 1850-1854	選舉對於職位 SocialRole 的 candidate 對於 CognitiveAgent agent 選舉 and AutonomousAgent 慾望 CognitiveAgent and 佔據位置 CognitiveAgent, SocialRole and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 295-306	defenseLawyer LegalAction and CognitiveAgent CognitiveAgent 是在 LegalAction 的 defendant 慾望 CognitiveAgent and entity 例 entity and 法律決定參照 entity and LegalAction 想要 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 734-743	deviceOS Object and 電腦例 ObjectI and Object 例電腦I and 電腦 manufacturer Object and CognitiveAgent 慾望 CognitiveAgent and 電腦I 是 entity 的執行 program entity 是 running 在 ObjectI
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	例 Process and AutoImmuneDisorder 體驗者 Process and CognitiveAgent Object Process and Object 例 Object and 抗體部分 Object and CognitiveAgent 例 Object and Cell 部分 Object and CognitiveAgent 例 Process and Destruction 儀器 Process and Object 慾望 CognitiveAgent and ~{ 例 Process and Destruction } ~{ 儀器 Process and Object }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	例 Process and AddToCart 例 CognitiveAgent and AutonomousAgent 例 Entity and Object agent Process and CognitiveAgent 患者 Process and Entity 慾望 CognitiveAgent and entity 例 entity and Buying 患者 entity and Entity agent entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	例 Process and 封鎖例 Contest and Contest 子過程 Process and Contest AutonomousAgent participates 在 Contest agent Process and AutonomousAgent Contest1 CognitiveAgent 防止 Contest1 and 易位例 Process and Contest1 CognitiveAgent participates 在 Contest 等於 AutonomousAgent and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and Contest1 agent entity and AutonomousAgent 子過程 entity and Contest
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	例電腦程序 and ComputerBackingUp 數字數據是由電腦程序 processed 例數字數據 and 數字數據 agent 電腦程序 and CognitiveAgent 慾望 CognitiveAgent and entity 早期何時電腦程序 and entity 持有期間 entity and entity 例 entity and 電腦程序能力 entity, 數據已處理 and 數字數據
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 944-952	例 Collection and Club 會員 CognitiveAgent and Collection 會員 CognitiveAgent and Collection Formula 慾望 CognitiveAgent and Formula 慾望 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12217	例 Process and Confining 患者 Process and CognitiveAgent 例 CognitiveAgent and Human 慾望 CognitiveAgent and 患者 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12950-12957	例 Process and 表示贊同 agent Process and CognitiveAgent 患者 Process and Formula 想要 CognitiveAgent and Formula 慾望 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4517-4532	例 Process and FailureFn IntentionalProcess agent Process and CognitiveAgent 慾望 CognitiveAgent and Process 例 Process and IntentionalProcess agent Process and CognitiveAgent Process 例 Process and IntentionalProcess 期間何時 Process and 何時 Process agent Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2362-2369	例 CognitiveAgent and 政治壓力集團有目的 CognitiveAgent and Formula GeographicArea 是 agent 運作在 CognitiveAgent 地區例 GeographicArea and Nation 慾望 CognitiveAgent and 相信政府 GeographicArea and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16447-16459	例 Process and Insomnia 體驗者 Process and CognitiveAgent Process TimeDuration and TimeDuration 例 Process and Sleeping 體驗者 Process and CognitiveAgent 持續時間何時 Process and TimeDuration 慾望 CognitiveAgent and 持續時間何時 Process and TimeDuration 比較多 TimeDuration and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5725-5736	例 Process and Itching 位於 Process and Object 部分 Object and CognitiveAgent 體驗者 Process and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and Scratching 期間何時 entity and 何時 Process 位於 entity and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	例 Process and 粉碎例 Entity and 電腦例 Entity and Object 患者 Process and Entity manufacturer Object and CognitiveAgent 慾望 CognitiveAgent and entity agent Process and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10665-10675	例 Process and Quitting 例 Entity and Organization agent Process and CognitiveAgent 患者 Process and Entity 慾望 CognitiveAgent and 持有期間結束何時 Process and 會員 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	例 Object and WebListing 例 Process and Object 例 CognitiveAgent and AutonomousAgent attribute Object and AuctionAttribute 患者 Process and Object CognitiveAgent created Object 慾望 CognitiveAgent and entity 例 entity and Auctioning 患者 entity and Process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2263-2269	例 Collection and 共產黨會員 CognitiveAgent and Collection 例 Entity and GeopoliticalArea 慾望 CognitiveAgent and %2 是 1% 的 government 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 872-880	例 Process and 懲罰 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Entity 知道 CognitiveAgent and 慾望 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1184-1194	例 Process and 心理操作 agent Process and AutonomousAgent 患者 Process and Entity 有目的 Process and entity entity agent entity and Entity 結果 entity and entity 慾望 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13200-13206	例 Process and Requesting agent Process and CognitiveAgent 患者 Process and Formula 例 Formula and Formula 慾望 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13148-13158	例 Process and 感謝 agent Process and AutonomousAgent 患者 Process and Entity 目的地 Process and Entity 例 Entity and Human 持有期間何時 Process and 想要 AutonomousAgent and Entity 持有期間何時 Process and 慾望 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 860-865	例 Process and 危險的患者 Process and Formula 目的地 Process and CognitiveAgent 慾望 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 61-68	CognitiveAgent sells WebListing 例 Entity and Object 患者 WebListing and Entity 慾望 CognitiveAgent and entity 患者 entity and Entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: