No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3023-3023	船靠泊 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3270-3270	船员 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1132-1132	船舶登记 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2886-2886	短缺 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 440-440	关掉 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5187-5187	正或负值函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5209-5209	正弦函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3745-3745	SiteSpeedFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5218-5218	平方根函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3963-3963	方形单位 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1500-1500	标准偏差 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 420-420	开始 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 400-400	启动 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 434-434	停 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24442-24442	StringLengthFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5299-5299	后继数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2178-2178	最高法院 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5229-5229	正切函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5930-5930	节点终点函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1221-1221	领海 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1602-1602	过境 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1565-1565	运输 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4272-4272	TreatedUsersFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1582-1582	旅 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6609-6609	UnitFn 是 一元函数 的 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