No TPTP formula. May not be expressible in strict first order.	Geography.kif 1116-1116	海上专属经济区 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1084-1084	海运货架区 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1678-1678	最大值 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6320-6320	MeasuringProcessFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1760-1760	会员 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 964-964	商船 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6078-6078	分最短图路径函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8838-8838	MorningFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 900-900	MusicalComponentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 948-948	NationalAnthemFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1519-1519	网路通信功能 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5034-5034	分子函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20486-20486	职业 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17879-17879	操作 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5247-5247	OrganicObjectFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 807-807	外边界 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 500-500	海外地区 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3045-3045	PPSFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6346-6346	PainFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6319-6319	ParalysisFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8499-8499	过去函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5971-5971	路径衡量函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 768-768	周边区域 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1831-1831	物理量转数字 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3351-3351	PlantFn 是 一元函数 的 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