No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3652-3657	例 Human and Human 佔據位置 Human, Position and Organization attribute Position and 銀行家 例 Organization and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	例 可穿戴物品 and 聽力保護 例 Animal and Human 穿 Animal and 可穿戴物品 有目的 可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2336-2351	例 Process and GravesDisease 體驗者 Process and AutonomousAgent 例 AutonomousAgent and Human 例 Object and 甲狀腺激素 部分 Object and AutonomousAgent 測量 Object and 測量 RealNumber and UnitOfMeasure 例 Object and Human 例 Object and 甲狀腺激素 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure attribute Object and Healthy 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2382-2397	例 Process and HashimotosThyroiditis 體驗者 Process and AutonomousAgent 例 AutonomousAgent and Human 例 Object and 甲狀腺激素 部分 Object and AutonomousAgent 測量 Object and 測量 RealNumber and UnitOfMeasure 例 Object and Human 例 Object and 甲狀腺激素 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure attribute Object and Healthy 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23512-23525	例 Confining and 監禁 Animal 是 Confining 的 拘留者 例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval 被捕 TimeInterval 例 TimeInterval and TimeInterval 時間 被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例 被捕 and 被捕 被捕 被捕 and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25828-25840	例 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.	Medicine.kif 4195-4210	例 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.	Medicine.kif 1753-1773	例 音調 and 音調 音調 的 frequency 是 測量 RealNumber and 赫茲 loudness 音調 and 測量 RealNumber and Decibel 位於 音調 and 哪裡 Human and 開始 何時 音調 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and 250 比較多 8000 and RealNumber 例 Human and Human 例 Process and 聽 agent Process and Human hearingAcuity Human, 測量 RealNumber and Decibel and 測量 RealNumber and Decibel
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.	Mid-level-ontology.kif 233-239	例 Entity and Human 持有期間 TimePosition and attribute Entity and 完全成型 持有期間 TimePosition and 例 Entity and 人類成人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22469-22474	例 Entity and 軍事組織 持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 持有期間 TimePosition and attribute Entity and 軍人
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1110-1117	例 Object and Human attribute Object and 發熱 RealNumber 測量 Object and 測量 RealNumber and 華氏度 比較多 RealNumber and 98.6
No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	例 Object and Human attribute Object and Criminal Entity Process 例 Entity and 犯罪行為 例 Process and 法律定罪 參照 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 49-59	例 Physical and DisabledParking 例 AutonomousAgent and Human attribute AutonomousAgent and Attribute 例 Attribute and Disability 有代理人的目的 Physical, Physical 對於 entity 在事件 目的地 plays 角色 entity 對於 entity 在事件 患者 plays 角色 例 entity and TransportationDevice and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7466-7473	例 Human and Human 等於 Human 的後裔 and FamilyGroup Organism 會員 Organism and FamilyGroup Human 是 Organism 的 ancestor
No TPTP formula. May not be expressible in strict first order.	Government.kif 1806-1812	例 Human and Human 例 Organization and Organization 例 Position and Position attribute Human and Position 和 Organization 的 member 角色 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1487-1494	例 Human and Human 例 Position and Position 例 GeopoliticalArea and GeopoliticalArea Position 是 GeopoliticalArea 的 leader 職位 佔據位置 Human, Position and 政府 GeopoliticalArea Human 是 GeopoliticalArea 的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 1478-1485	例 Human and Human 例 Position and Position 例 Organization and AutonomousAgent Position 是 Organization 的 leader 職位 佔據位置 Human, Position and Organization Human 是 Organization 的 leader
No TPTP formula. May not be expressible in strict first order.	Biography.kif 742-751	例 AutonomousAgent and Human 例 Process and Writing 例 Entity and Text 例 Entity and Document 結果 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 作家
No TPTP formula. May not be expressible in strict first order.	Biography.kif 634-638	例 AutonomousAgent and Human attribute AutonomousAgent and 飛行員 有技巧 FlyingAircraft and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	例 BodyPart and CervicalVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and CervicalVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	例 BodyPart and FalseRibBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and Sternum 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	例 BodyPart and LumbarVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and LumbarVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 624-631	例 Entity and RadiatingLight 例 AutonomousAgent and Human 例 Process and Seeing agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and 輻射可見光
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	例 BodyPart and ThoracicVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and ThoracicVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
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