No TPTP formula. May not be expressible in strict first order.	Merge.kif 5231-5231	正切函数 的 1 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17868-17868	圆周角度测量 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29835-29835	approximateValue 的 1 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29836-29836	approximateValue 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5965-5965	弧衡量 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5361-5361	平均 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1526-1526	beliefGroupPercentInRegion 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1921-1921	compressionRatio 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2585-2585	机率 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 529-529	confidenceInterval 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3725-3725	contrastRatio 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 796-796	dampingRatio 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 886-886	疾病死亡率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2044-2044	来自电力的电力部分 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2028-2028	来自时期的电力部分 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1545-1545	ethnicityPercentInRegion 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1080-1080	grainSize 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1848-1848	大于 的 1 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1849	大于 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1877	大于或等于 的 1 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1878-1878	大于或等于 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1263-1263	最高的等分家庭收入 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1245-1245	期间最高的等分家庭收入 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1942-1942	工业生产增长率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1932-1932	工业生产增长期 的 2 数量 是 实数 的 instance
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