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 7646-7646	圆心 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8037-8037	公民 是 一元函数 的 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 29712-29712	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 18259-18259	DeadOrMissingBodyPartFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30617-30617	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 7459-7459	后人 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4936-4936	直径 是 一元函数 的 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 9977-9977	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