No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10684-10695	antagonistMuscles Muscle and Muscle 例 Motion and Extension 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Extension, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31383-31390	applicableRelation Object and Relation 例 Object and ObjectC 域 Relation, 1 and Class 等於 ObjectC and Class 子類 ObjectC and Class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17947-17958	SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and RealNumberM Object 的 radius 是 測量 部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地 大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域 例 RealNumber and AreaMeasure 等於 RealNumber and 乘法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地 大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域 例 UnitOfMeasure and UnitOfArea GeographicArea 例 GeographicArea and 耕地 GeographicArea 是 GeographicArea 的 geographic 次要地區 測量 GeographicArea and 測量 乘法 RealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	attribute 政府 GeopoliticalArea and 政體 例 政體 and 政體 %2 是 1% 的 government 類別
No TPTP formula. May not be expressible in strict first order.	Music.kif 478-482	attribute Object and ObjectTTR 例 ObjectTTR and AlbumAttribute 例 Object and Album
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	attribute CognitiveAgent and AppraisalAsJustTreatment 例 CognitiveAgentJT and AppraisalProcess agent CognitiveAgentJT and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentJT and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	attribute CognitiveAgent and AppraisalAsUnjustTreatment 例 CognitiveAgentUJ and AppraisalProcess agent CognitiveAgentUJ and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentUJ and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	attribute AutonomousAgent and Founder 例 AutonomousAgent and Human Process 例 Process and 創建 agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 648-652	attribute Object and Attribute 例 Attribute and AccountAttribute 例 Object and 用戶帳號
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	attribute AutonomousAgent and 配音演員 例 Process and 戲劇表演 agent Process and AutonomousAgent 例 Process and 語言交流 agent Process and AutonomousAgent 子過程 Process and Process Process AutonomousAgent 例 Process and Seeing 患者 Process and AutonomousAgent agent Process and AutonomousAgent Process AutonomousAgent 例 Process and Hearing 患者 Process and AutonomousAgent agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	attribute Object and Organization 的 member 例 Object and AutonomousAgent 例 Organization and Organization 會員 Object and Organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	attribute AutonomousAgent and 共產主義國家 例 AutonomousAgent and Nation 中央計劃經濟 是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1364-1371	attribute AutonomousAgent and Attribute 例 Attribute and ProfessionalAthlete Contest 例 Contest and Sport AutonomousAgent participates 在 Contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1358-1362	attribute AutonomousAgent and Attribute 例 Attribute and ProfessionalAthlete 有技巧 Sport and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1833-1837	attribute Object and Attribute 例 Attribute and 設備屬性 例 Object and Device
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4407-4411	attribute Object and Attribute 例 Attribute and ExperimentAttribute 例 Object and 試驗
No TPTP formula. May not be expressible in strict first order.	Food.kif 437-445	attribute Substance and DecafAttribute 例 Substance and Food Substance 例 Substance and Caffeine 片 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure 例 Object and Class 例 Object and Class 例 UnitOfMeasure and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	attribute Object and DiseaseOrSyndrome diseaseTreatment DiseaseOrSyndrome and TherapeuticProcess 例 Process and TherpeuticProcess agent Process and DiseaseOrSyndromeOC 患者 Process and Object attribute DiseaseOrSyndromeOC and 醫生 模態屬性 例 Process and TherapeuticProcess and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女 測量 Object and 測量 0.1 and 升 例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克 少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男 測量 Object and 測量 0.1 and 升 例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克 少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	attribute AutonomousAgent and ADHD attribute AutonomousAgent and ADHD 等於 AutonomousAgent and AutonomousAgent 例 Process and Class 例 Process and Class 子類 Class and IntentionalPsychologicalProcess agent Process and AutonomousAgent agent Process and AutonomousAgent 持續時間 何時 Process and TimeDuration 持續時間 何時 Process and TimeDuration 模態屬性 比較多 TimeDuration and TimeDuration and 容易
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