believes - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1941-1942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2807-2809
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 571-572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2804-2804	域相信, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2805-2805	域相信, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2802-2802	例相信 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2801-2801	例相信 and PropositionalAttitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2803-2803	子關係相信 and 在感興趣的範圍內

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	english_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	french_format.kif 57-57
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 36-36
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1879-1879
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 9-9
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 70-70
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 100-100
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 54-54
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 76-76
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 56-56
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 88-88
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10691-10691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10690-10690
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 17-17
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 89-89

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2425-2439	例 Process and 颶風例 Entity and SSHWS5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 157.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2347-2366	例 Process and 颶風例 SpeedScaleAttribute and SSHWSAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and UnitOfMeasure and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2173-2187	例 Process and 龍捲風例 Entity and EF5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 200.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2078-2096	例 Process and 龍捲風例 SpeedScaleAttribute and EFScaleAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and MilesPerHour and 測量 RealNumber and MilesPerHour RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	例 Process and 風例 Entity and BeaufortNumber12 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 73.0 相信 CognitiveAgent and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	例 Process and 風例 SpeedScaleAttribute and BeaufortNumberAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 測量 RealNumber and UnitOfMeasure 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2811-2815	相信 CognitiveAgent and Formula TimePosition 持有期間 TimePosition and 考慮 CognitiveAgent and Formula

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17458-17471	attribute Object and Attribute 例 Attribute and SubjectiveAssessmentAttribute TimePosition Process and AutonomousAgent 例 Process and 判斷 agent Process and AutonomousAgent 患者 Process and Object 結果 Process and attribute Object and Attribute 持有期間 TimePosition and 相信 AutonomousAgent and 屬性 Object and Attribute
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2705-2714	例 Process and 示範 agent Process and AutonomousAgent 會員 CognitiveAgent and AutonomousAgent 會員 CognitiveAgent and AutonomousAgent Formula 相信 CognitiveAgent and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	例 Process and Damaging agent Process and AutonomousAgent 目的地 Process and CognitiveAgent 例 CognitiveAgent and CognitiveAgent 相信 CognitiveAgent and attribute AutonomousAgent and 危險
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12119-12131	例 Process and 決定 agent Process and CognitiveAgent 例 Set and Set 患者 Process and Set 元件 Entity and Set 相信 CognitiveAgent and entity 例 Entity and entity 子類 entity and IntentionalProcess 能力 entity, agent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	例 Process and 滲出 agent Process and AutonomousAgent Process Entity 例 Process and Pretending agent Process and AutonomousAgent 患者 Process and Entity 有目的 Process and 相信 Entity and Process 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2548-2562	例 Process and 疏散起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是哪裡 Process and 開始何時 Process 的 geographic 次要地區原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	例 Process and Process 例 Human and AutonomousAgent 例試驗 and 試驗 Human 是個 treated used 在試驗 Process 在試驗的 process 體驗者 Process and Human 體驗者 Process and Human 試驗 causes Process 試驗ERIMENTER 例試驗ERIMENTER and AutonomousAgent 試驗ERIMENTER 是在試驗的 experimenter 相信試驗ERIMENTER and 模態屬性原因 Process and Process and 容易
No TPTP formula. May not be expressible in strict first order.	Government.kif 2324-2331	例 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.	Weather.kif 2425-2439	例 Process and 颶風例 Entity and SSHWS5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 157.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2347-2366	例 Process and 颶風例 SpeedScaleAttribute and SSHWSAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and UnitOfMeasure and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10956-10963	例 Process and 解讀 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and ContentBearingObject entity 持有期間結束何時 Process and 相信 AutonomousAgent and 包含信息 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12197-12211	例 Process and 判斷 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.	Medicine.kif 4180-4195	例 Process and Misdiagnosing agent Process and CognitiveAgent 參照 Process and Entity 例 Entity and Human CognitiveAgentIS containsFormula Process and attribute Entity and CognitiveAgentIS 例 CognitiveAgentIS and DiseaseOrSyndrome 相信 CognitiveAgent and attribute Entity and CognitiveAgentIS 真相 attribute Entity and CognitiveAgentIS and 假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23056-23067	例 Process and Nausea 體驗者 Process and CognitiveAgent 相信 CognitiveAgent and 持有期間眼前的未來何時 Process and entity 例 entity and Vomiting 體驗者 entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13247-13253	例 Process and Stating 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.	Mid-level-ontology.kif 915-922	例 Process and 說謊 agent Process and AutonomousAgent 患者 Process and ProcessMENT 持有期間何時 Process and 相信 AutonomousAgent and 真相 ProcessMENT and 假
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1551-1558	例 Process and TemperatureFallingExperiencedAsFeelingCold 位於 Process and Object 體驗者 Process and AutonomousAgent 持有期間何時 Process and 相信 AutonomousAgent and attribute Object and ColdTemperature
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1569-1576	例 Process and TemperatureRisingExperiencedAsFeelingWarm 位於 Process and Object 體驗者 Process and AutonomousAgent 持有期間何時 Process and 相信 AutonomousAgent and attribute Object and WarmTemperature
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2173-2187	例 Process and 龍捲風例 Entity and EF5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 200.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2078-2096	例 Process and 龍捲風例 SpeedScaleAttribute and EFScaleAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and MilesPerHour and 測量 RealNumber and MilesPerHour RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15504-15511	例內容承載物理 and ContentBearingObject 子類 ContentBearingObject and 事實文本作者 CognitiveAgent and ContentBearingObject 包含內容實例內容承載物理 and Formula 例 Formula and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15535-15544	例內容承載物理 and ContentBearingObject 子類 ContentBearingObject and 虛構的文字作者 CognitiveAgent and ContentBearingObject Formula 包含內容實例內容承載物理 and Formula 例 Formula and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 212-218	例 Process and 危險的患者 Process and Entity 目的地 Process and CognitiveAgent 相信 CognitiveAgent and attribute Entity and 危險
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	例 Process and 風例 Entity and BeaufortNumber12 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 73.0 相信 CognitiveAgent and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	例 Process and 風例 SpeedScaleAttribute and BeaufortNumberAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 測量 RealNumber and UnitOfMeasure 是 Object 的 surface 風速

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: