No TPTP formula. May not be expressible in strict first order.	People.kif 71-71	每千人分娩 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 690-690	边界 的 range 是 地理区域 的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2880-2880	BoughtItemsFn 的 range 是 非负整数 的实例
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1320	CPU利用率 的 range 是 恒量 的实例
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1528	内阁 的 range 是 政府组织 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	势函数 的 range 是 整数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	顶整数函数 的 range 是 整数 的实例
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1170-1170	细胞部分 的 range 是 细胞部分 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7640-7640	圆心 的 range 是 几何点 的实例
No TPTP formula. May not be expressible in strict first order.	People.kif 443-443	每个女人出生的孩子 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8040-8040	公民 的 range 是 一群人 的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3331-3331	ClickThroughRateFn 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5478-5478	补集函数 的 range 是 集或类 的实例
No TPTP formula. May not be expressible in strict first order.	Music.kif 1049-1049	ContestFn 的 range 是 比赛 的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2843-2843	ConversionRateFn 的 range 是 数量 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4802-4802	馀弦函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	货币 的 range 是 金融工具 的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4858-4858	基准 的 range 是 长度测量 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18240-18240	DeadOrMissingBodyPartFn 的 range 是 疾病或综合症 的实例
No TPTP formula. May not be expressible in strict first order.	People.kif 104-104	每千人死亡 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	People.kif 230-230	每千名活产婴儿死亡人数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	分母函数 的 range 是 整数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6647-6647	密度函数 的 range 是 函数量 的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18325-18325	DepartmentOfFn 的 range 是 机构 的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18397-18397	DepartmentOfPreventingFn 的 range 是 机构 的实例
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