No TPTP formula. May not be expressible in strict first order.	Weather.kif 2256-2256	3分钟平均地面风速 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1902-1902	3秒平均地面风速 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1996-1996	平均3秒风速表列 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6346-6346	计量函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1781-1781	成员角色 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9827-9827	部分差异函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9806-9806	部分积函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9784-9784	部分总和函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 137-137	每千人移民 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5008-5008	较小值函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6008-6008	最低加权路径函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8637-8637	分函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8569-8569	月函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4694-4694	乘法函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31726-31726	OrganismPopulationFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3082-3082	PPIFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8054-8054	PerCapitaFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6628-6628	每 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14660-14660	期刊编号函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 35-35	人口增长 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8966-8966	QuarterFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 923-923	每年达到军龄的男性 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8442-8442	重复发生时间函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5464-5464	相对补集函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17226-17226	相对时间函数 是 二元函数 的 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