No TPTP formula. May not be expressible in strict first order.	Merge.kif 13491-13491	域子類 ImpairmentFn, 1 and PhysiologicProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2000-2000	域子類 InfectionFn, 1 and Microorganism
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 400-400	域子類 InjuryCausedFn, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2599-2599	域子類 JuiceOfFn, 1 and FruitOrVegetable
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18393-18393	域子類 MakingFn, 1 and Making
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6321	域子類 MeasuringProcessFn, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8662-8662	域子類 分, 2 and Hour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8593-8593	域子類 月, 1 and Month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8594-8594	域子類 月, 2 and 年
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1521-1521	域子類 網路通信功能, 1 and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5249-5249	域子類 OrganicObjectFn, 1 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14661-14661	域子類 定期發行, 1 and Periodical
No TPTP formula. May not be expressible in strict first order.	Food.kif 3352-3352	域子類 PlantFn, 1 and 植物解剖結構
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	域子類 PlayingInstrumentFn, 1 and Device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1359-1359	域子類 PressingKeyFn, 1 and ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8991-8991	域子類 QuarterFn, 2 and 年
No TPTP formula. May not be expressible in strict first order.	Media.kif 186-186	域子類 ReceivingAnObjectFn, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8466-8466	域子類 經常性時間間隔, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8467	域子類 經常性時間間隔, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8689-8689	域子類 第二, 2 and Minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13511-13511	域子類 SenseImpairmentFn, 1 and Perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	域子類 SenseInabilityFn, 1 and Perception
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14616-14616	域子類 系列卷, 1 and Series
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2887-2887	域子類 短缺, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9396-9396	域子類 時間構成, 2 and TimeInterval
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