No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3049-3049	PPSFn 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5973-5973	路径衡量函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	People.kif 38-38	人口增长 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2574-2574	表示机率的函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5062-5062	实数函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5071-5071	倒数函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5171-5171	四舍五入函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3713-3713	SRPEngagementFn 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5212-5212	正弦函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	平方根函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4728-4728	减法函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5232-5232	正切函数 的 range 是 实数 的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2003-2003	二进制数 是 实数 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1916-1916	无理数 是 实数 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1943-1943	负实数 是 实数 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1921-1921	非负实数 是 实数 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1911-1911	有理数 是 实数 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 859-859
No TPTP formula. May not be expressible in strict first order.	english_format.kif 920-920
No TPTP formula. May not be expressible in strict first order.	french_format.kif 535-535
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 68-68
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2220-2220
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 487-487
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