No TPTP formula. May not be expressible in strict first order.	Government.kif 1526-1526	内阁 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5507-5507	势函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4781-4781	顶整数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7637-7637	圆心 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	公民 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5475-5475	补集函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 673-673	宪法 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2832-2832	ConversionRateFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4799-4799	馀弦函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29724-29724	CoveringFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 282-282	货币 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6070-6070	分图路径函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4856-4856	基准 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 114-114	DeadFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18237-18237	DeadOrMissingBodyPartFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30629-30629	DemonymFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4808-4808	分母函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7460-7460	后人 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4947-4947	直径 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3011-3011	文献 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9978-9978	EdemaFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1684-1684	选举 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	海拔高点 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1932-1932	海拔低点 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2055-2055	EmailDomainPartFn 是 一元函数 的 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