No TPTP formula. May not be expressible in strict first order.	Merge.kif 9946-9946	洞主体函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10087-10087	洞表面函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4906-4906	虚数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16305-16305	直系亲属 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8548-8548	紧接未来函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8517-8517	紧接过去函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18239-18239	ImpairedBodyPartFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13488-13488	ImpairmentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12407-12407	InflammationFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5920-5920	节点起点函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1311-1311	初步资料 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 396-396	InjuryCausedFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 795-795	内部边界 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4921-4921	整数平方根函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2137-2137	司法 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2598-2598	JuiceOfFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3205-3205	持续 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2035-2035	立法机关 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3012-3012	找出表列长度的函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3239-3239	ListSumFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 912-912	LyricalComponentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18392-18392	MakingFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 191-191	男女比例 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 780-780	海上主张领海 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1042-1042	海上毗连区 是 一元函数 的 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