No TPTP formula. May not be expressible in strict first order.	Merge.kif 5231-5231	域 切線, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17868-17868	域 圓周角度測量, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29835-29835	域 approximateValue, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29836-29836	域 approximateValue, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5965-5965	域 弧重, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5361-5361	域 平均, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 1526-1526	域 beliefGroupPercentInRegion, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1921-1921	域 compressionRatio, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2585-2585	域 條件概率, 3 and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 529-529	域 confidenceInterval, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3725-3725	域 contrastRatio, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 796-796	域 dampingRatio, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	WMD.kif 886-886	域 疾病死亡率, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2044-2044	域 來自電力的電力部分, 3 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2028-2028	域 來自時期的電力部分, 3 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 1545-1545	域 ethnicityPercentInRegion, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 1080-1080	域 grainSize, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1848-1848	域 比較多, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1849	域 比較多, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1877	域 大於或等於, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1878-1878	域 大於或等於, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1263-1263	域 最高的等分家庭收入, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1245-1245	域 期間最高的等分家庭收入, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1942-1942	域 工業生產增長率, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1932-1932	域 工業生產增長期, 2 and RealNumber
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