No TPTP formula. May not be expressible in strict first order.	Economy.kif 1156-1156	人口分数低于贫困线的时期 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3301-3301	氢的潜力 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 999-999	GDP的实际增长率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 986-986	期间实际GDP增长率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17876-17876	relativeAngle 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 465-465	roastedToTemperature 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1075-1075	行业组成的GDP 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1058-1058	期间GDP的部门构成 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1689-1689	坡度梯度朝向 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 605-605	tTest 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1447-1447	地区失业率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1433-1433	期间的失业率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 711-711	userFeedbackScore 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1860-1860	收到投票分数 的 4 数量 是 实数 的 instance

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