knows - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1943-1945
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2823-2827
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 573-575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2820-2820	域知道, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2821-2821	域知道, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2818-2818	例知道 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2817-2817	例知道 and PropositionalAttitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2819-2819	子關係知道 and 在感興趣的範圍內

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	english_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	french_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 159-159
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1918-1918
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 43-43
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 169-169
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 198-198
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 110-110
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 318-318
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32752-32752
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32751-32751
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 51-51
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 319-319

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	CognitiveAgent 有 account 用戶帳號用戶帳號有 password 電腦密碼 deviceAccount 用戶帳號 and 電腦知道 CognitiveAgent and 用戶帳號有 password 電腦密碼知道 CognitiveAgent and recoveryKey entity and 用戶帳號擁有 CognitiveAgent and 電腦模態屬性 entity 例 entity and ChangingPassword 患者 entity and 用戶帳號 agent entity and CognitiveAgent and 可能性
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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2829-2831	知道 CognitiveAgent and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2833-2835	知道 CognitiveAgent and Formula 真相 Formula and 真正

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2748-2762	例 Object and AntibodyCOVIDTest 儀器 Process and Object 例 Process and Measuring 患者 Process and Object 例 Object and COVIDAntibody 部分 Object and Object 模態屬性知道 Object and Object 例 Object and COVIDAntibody 部分 Object and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6486-6510	例 Process and CheckingVitals agent Process and CognitiveAgent 患者 Process and Object 例心 and 心部分心 and Object 例肺 and 肺部分肺 and Object 持有期間何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer 知道 CognitiveAgent and 持有期間何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12241-12247	例 Process and Counting agent Process and CognitiveAgent 患者 Process and Entity entity 知道 CognitiveAgent and 等於基數 Entity and entity
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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3434-3445	例 Process and Electrocardiography 患者 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 醫生有目的 Process and 知道 AutonomousAgent and entity 真相 attribute Entity and ImpairedBodyPartFn 心 and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	例 Process and Forgetting 體驗者 Process and AutonomousAgent entity 持有期間眼前的未來何時 Process and 知道 AutonomousAgent and entity 持有期間不久的過去何時 Process and 知道 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3650-3663	例 Process and Gaslighting agent Process and AutonomousAgent AutonomousAgent suffers 從 Process Process 例 Process and Perception 體驗者 Process and AutonomousAgent 知道 AutonomousAgent and 結果 Process and entity 是 AutonomousAgent suffers 從 Process 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5354-5364	例 Process and GramStaining agent Process and AutonomousAgent 患者 Process and Entity 有目的 Process and 知道 AutonomousAgent and entity 例 entity and GramStainAttribute attribute Entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13046-13052	例 Process and Investigating agent Process and AutonomousAgent 患者 Process and Entity 有代理人的目的 Process, 知道 AutonomousAgent and Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13039-13044	例 Process and Investigating 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 27485-27497	例 Object and KnockLight 例 AutonomousAgent and Human attribute AutonomousAgent and 聾使用 Object and AutonomousAgent 有目的 Object and entity entity 例 entity and Impacting 患者 entity and entity 例 entity and 門知道 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12054-12061	例 Process and Learning 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.	MilitaryProcesses.kif 577-587	例 Process and 定位患者 Process and Entity agent Process and AutonomousAgent 有目的 Process and entity 例 entity and Region 知道 AutonomousAgent and 位於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1248-1257	例 Process and Measuring 儀器 Process and Object agent Process and CognitiveAgent 患者 Process and Entity 例 Object and PulseOximeter entity 知道 CognitiveAgent and oxygenSaturation Entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 454-470	例 Process and MeasuringBreathing agent Process and AutonomousAgent 例 Object and 肺部分 Object and Object 例 TimeInterval and TimeInterval 期間 TimeInterval and 何時 Process 持續時間 TimeInterval and 分鐘患者 Process and Object 持有期間眼前的未來何時 Process and entity 知道 AutonomousAgent and breathingRate Object, TimeInterval and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12227-12234	例 Process and Measuring agent Process and AutonomousAgent 患者 Process and Entity entity entity 持有期間結束何時 Process and 知道 AutonomousAgent and 測量 Entity and 測量 entity and entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2287-2297	例 Process and Decoding agent Process and CognitiveAgent Formula 知道 CognitiveAgent and Formula Object 儀器 Process and Object 包含信息 Object and Formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2275-2285	例 Process and Encoding agent Process and CognitiveAgent Formula 知道 CognitiveAgent and Formula Object 儀器 Process and Object 包含信息 Object and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 865-873	例 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.	Merge.kif 13063-13068	例 Process and DiagnosticProcess agent Process and AutonomousAgent entity 有代理人的目的 Process, 知道 AutonomousAgent and 原因 entity and Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13318-13324	例 Process and Questioning agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Formula 持有期間何時 Process and 知道 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13089-13102	例 Process and Searching 患者 Process and Physical 例 Physical and Physical Object AutonomousAgent 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent 例 Object and Object 位於 Physical and Object 有代理人的目的 Process, 知道 AutonomousAgent and 位於 Physical and Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13630-13638	例 Process and Seeing agent Process and CognitiveAgent 患者 Process and Entity Entity 例 Entity and ColorAttribute 知道 CognitiveAgent and attribute Entity and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	例 Process and ReconnaissanceOperation agent Process and AutonomousAgent 例 Entity and Proposition 有目的 Process and 知道 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 56-64	例 Process and AppraisalProcess agent Process and CognitiveAgent CognitiveAgentPP 例 CognitiveAgentPP and Appraisal 知道 CognitiveAgent and attribute CognitiveAgent and CognitiveAgentPP

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: