No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3593-3601	例 電腦程序 and 安裝 數字數據 是由 電腦程序 processed 例 數字數據 and ComputerProgram 目的地 電腦程序 and Entity 有目的 電腦程序 and 數字數據ROC 數字數據ROC 是 running 在 Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5720-5725	例 Process and 灌溉 患者 Process and Entity 例 Entity and LandArea 有目的 Process and attribute Entity and 肥沃的地形
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25840-25852	例 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.	Mid-level-ontology.kif 25821-25838	例 Physical and KnockLight 位於 Physical and Object 例 Object and Room 例 Object and 門 部分 Object and Object 有目的 Physical and entity entity and entity 例 entity and Impacting 患者 entity and Object 原因 entity and entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 例 entity and 輻射可見光 儀器 entity and Physical
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 6532-6543	例 Transfer and MoveToEvac objectTransferred Transfer and Object 有目的 Transfer and entity 例 entity and 疏散 objectTransferred entity and Object 早期 何時 Transfer and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13124-13131	例 Process and 迴避 agent Process and AutonomousAgent 有目的 Process and entity 例 entity and Impacting 患者 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	例 Object and Organism 例 Object and 蛋 attribute Object and 胚胎 部分 Object and Object Physical 例 Physical and EggYolk 有目的 Physical and entity 例 entity and Ingesting agent entity and Object 資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	例 Attribute and OccupationalDomain 例 Physical and CognitiveAgent 跟 Attribute 的 attr Process Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action 有目的 Physical and entity 例 entity and Process agent Physical and entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	例 Process and Ordaining 患者 Process and Physical 例 Physical and Human 會員 Physical and 基督教 有目的 Process and entity entity 例 entity and Ceremony 例 entity and 任命 子過程 entity and entity 患者 entity and Physical appointedPosition entity, Physical and 牧師
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1678-1683	例 Physical and 操作順序 例 Entity and 軍事行動 有目的 Physical and coordinates Physical and Entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1971-1979	例 FinancialTransaction and 正在下單 FinancialTransaction 是 對於 安全 的 order FinancialTransaction 有目的 FinancialTransaction and entity 例 entity and FinancialTransaction 患者 entity and 安全
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	例 CorpuscularObject and DigitalPost 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite 零件 CorpuscularObject and WebSite AutonomousAgent created CorpuscularObject AutonomousAgent 是 WebSite 的 registered user 有目的 CorpuscularObject and entity 例 entity and Disseminating agent entity and AutonomousAgent 患者 entity and CorpuscularObject 儀器 entity and WebSite
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	例 Object and ParkingBrake 例 Object and 車輛 持有期間 TimePosition and attribute Object and 設備上 部分 Object and Object 有目的 Object and 持有期間 TimePosition and entity 例 entity and 易位 患者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 191-201	例 Process and PreservingFood 例 Entity and Food 患者 Process and Entity 有目的 Process and entity 例 entity and ChemicalDecomposition 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1383-1392	例 Process and 公共計劃 體驗者 Process and AutonomousAgent 有目的 Process and entity 例 entity and 幫助 體驗者 entity and AutonomousAgent 例 AutonomousAgent and 上市
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 250-262	例 Physical and 拋射物 LengthMeasure 是 槍 的 caliber 例 Physical and 槍 寬度 Physical and LengthMeasure1 等於 LengthMeasure and LengthMeasure1 有目的 Physical and entity 例 entity and Shooting 患者 entity and Physical 儀器 entity and Physical
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.	MilitaryProcesses.kif 558-570	例 Process and 恢復運作 患者 Process and Entity 有目的 Process and entity 患者 entity and Entity 例 entity and 聯盟 Classifying and 聯盟 Pursuing and 聯盟 發現 and 聯盟 定位 and 返回
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15073-15085	例 Object and 樓梯 部分 Object and Object 例 Object and Building 有目的 Object and entity entity 例 entity and 建設水平 例 entity and 建設水平 部分 entity and Object 部分 entity and Object 連接 Object, entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6537-6547	例 Process and 絞殺 患者 Process and Entity 例 Entity and Human 有目的 Process and entity 例 entity and Breathing agent entity and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2388-2404	例 Process and SEO 患者 Process and Entity 有目的 Process and entity_BEFORE entity_AFTER, entity, entity, entity and entity 例 entity_BEFORE and SRPResults 例 entity_AFTER and SRPResults 等於 Entity and 清單順序 entity_BEFORE and entity 等於 Entity and 清單順序 entity_AFTER and entity 例 entity and BestMatchAlgorithm 例 entity and BestMatchAlgorithm 早期 何時 entity and 何時 entity 早期 何時 Process and 何時 entity 早期 何時 entity and 何時 Process 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	例 可穿戴物品 and 安全套 例 Animal and Animal 穿 Animal and 可穿戴物品 有目的 可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品 患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下 體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 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.	MilitaryProcesses.kif 694-704	例 Process and ReconnaissanceOperation agent Process and AutonomousAgent 有目的 Process and entity entity 例 entity and 攻擊 agent entity and AutonomousAgent 患者 entity 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