No TPTP formula. May not be expressible in strict first order.	emotion.kif 129-137	例 Process and EmotionalBehavioralProcess agent Process and AutonomousAgent Process 例 Process and 表情 agent Process and AutonomousAgent 原因 Process and Process
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.	emotion.kif 1710-1721	例 Process and ExperiencingALumpInTheThroat 體驗者 Process and AutonomousAgent Process Object 例 Process and Perception 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 喉 部分 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	例 Process and ExperiencingDiscomfortInTheStomach 體驗者 Process and AutonomousAgent Process ProcessAIN and Object 例 Process and Perception 期間 何時 Process and 何時 ProcessAIN 例 ProcessAIN and 痛 體驗者 ProcessAIN and AutonomousAgent 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 胃 部分 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	例 Process and ExperiencingHeatInCheeksOrChest 體驗者 Process and AutonomousAgent Process Object 例 Process and Perception 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軀幹 例 Object and 面對 部分 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16670-16682	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學 早期 何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	例 Process and 疏散 agent Process and Organization 體驗者 Process and AutonomousAgent Process ProcessA 例 Process and Classifying 子過程 Process and Process 體驗者 Process and AutonomousAgent 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	例 Process and 疏散 agent Process and Organization 起源 Process and Object Process ProcessA 例 Process and 易位 子過程 Process and Process 起源 Process and Object 體驗者 Process and ProcessA agent Process and ProcessA 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	例 Process and 疏散 體驗者 Process and AutonomousAgent agent Process and Organization Process ProcessA 例 Process and TherapeuticProcess 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	例 Process and 疏散 起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	例 Process and 疏散 起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Transportation 目的地 Process and Object 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 患者 Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例 試驗 and 試驗 例 TimeInterval and TimeInterval 等於 部 基數 卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在 試驗 期間 何時 SymbolicString and TimeInterval and 基數 卡帕 SymbolicString and 會員 SymbolicString and treated users 在 試驗 例 entity and AccessingWebPage 期間 何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在 試驗 期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例 試驗 and 試驗 例 Entity and TimeInterval 等於 部 基數 卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在 試驗 and 基數 卡帕 SymbolicString and 會員 SymbolicString and treated users 在 試驗 例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在 試驗
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.	Mid-level-ontology.kif 10633-10644	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於 何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	例 Process and 外國內部防禦 agent Process and AutonomousAgent 體驗者 Process and AutonomousAgent 有目的 Process and entity entity 例 entity and Learning 體驗者 entity and entity agent entity and AutonomousAgent AutonomousAgent 是 entity 的 military 區域 例 entity and 軍事力量 位於 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1943-1955	例 Process and 外國內部防禦 agent Process and 軍事組織 GeopoliticalArea 是 軍事組織 的 military 區域 AutonomousAgent Process 體驗者 Process and AutonomousAgent 例 AutonomousAgent and 主辦國 等於 AutonomousAgent and GeopoliticalArea 例 Process and Maintaining agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11695-11707	例 Process and Giving agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity Process 例 Process and Getting agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出 期間 TimeInterval and ProcessAY 早期 何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來 體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期 何時 entity and 何時 TimeIntervalUHUR 期間 何時 entity and ProcessAY 期間 何時 TimeIntervalUHUR and ProcessAY
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1575-1588	例 Process and 高激浪 例 Object and WaterArea Process 是 located 在 Object Process AutonomousAgent 例 Process and Swimming 例 AutonomousAgent and Human agent Process and AutonomousAgent Process 是 located 在 Object 持有期間 何時 Process and hazardous Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7158-7171	例 CognitiveAgent and HealthInsuranceCompany AutonomousAgent 是 CognitiveAgent 的 customer 有代理人的目的 CognitiveAgent, entity entity 例 entity and DiagnosticProcess 例 entity and TherapeuticProcess 體驗者 entity and AutonomousAgent 例 entity and 付款 agent entity and CognitiveAgent 參照 entity and entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5829-5838	例 Attribute and 傳染病 attribute AutonomousAgent and Attribute Process AutonomousAgent 例 Process and PathologicProcess agent Process and AutonomousAgent 例 AutonomousAgent and Microorganism 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new sellers 在 WebSite 期間 TimeInterval and Collection
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
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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