No TPTP formula. May not be expressible in strict first order.	Merge.kif 5465-5465	相对补集函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17228-17228	相对时间函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5169-5169	四舍五入函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5188-5188	正或负值函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5210-5210	正弦函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	速率函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24471-24471	StringConcatenateFn 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24444-24444	StringLengthFn 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4725-4725	减法函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5300-5300	后继数函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5230-5230	正切函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9372-9372	时间分拆函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5428-5428	结合函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6610-6610	UnitFn 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6667-6667	速度函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7791-7791	财富函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8467	何时函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4221-4221	表示位置的函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8554-8554	年函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16348-16348	祖先 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17866-17866	圆周角度测量 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17946-17946	近似直径 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1717-1717	属于 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 209-209	口径 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10991-10991	改变位置 是 总值关系 的 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