No TPTP formula. May not be expressible in strict first order.	Merge.kif 18372-18372	範圍子類 MakingFn and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6322-6322	範圍子類 MeasuringProcessFn and Measuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6080-6080	範圍子類 最小割集 and GraphPath
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8641-8641	範圍子類 分 and Minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8573-8573	範圍子類 月 and Month
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1520-1520	範圍子類 網路通信功能 and NetworkCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20489-20489	範圍子類 職業 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17885-17885	範圍子類 操作 and Process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	範圍子類 OrganicObjectFn and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 502-502	範圍子類 海外地區 and 海外地區
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351	範圍子類 PainFn and 痛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6324-6324	範圍子類 ParalysisFn and 麻痺
No TPTP formula. May not be expressible in strict first order.	Geography.kif 770-770	範圍子類 周邊區域 and 周邊區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14664-14664	範圍子類 定期發行 and Periodical
No TPTP formula. May not be expressible in strict first order.	Food.kif 3353-3353	範圍子類 PlantFn and Plant
No TPTP formula. May not be expressible in strict first order.	Music.kif 829-829	範圍子類 PlayingInstrumentFn and MakingInstrumentalMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 798-798	範圍子類 電源組 and SetOrClass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1360-1360	範圍子類 PressingKeyFn and SingleKeyPress
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8970-8970	範圍子類 QuarterFn and QuarterYear
No TPTP formula. May not be expressible in strict first order.	Media.kif 185-185	範圍子類 ReceivingAnObjectFn and Getting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8446-8446	範圍子類 經常性時間間隔 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8668-8668	範圍子類 第二 and Second
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13490-13490	範圍子類 SenseImpairmentFn and PathologicProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13510-13510	範圍子類 SenseInabilityFn and PathologicProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14619-14619	範圍子類 系列卷 and Text
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