No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2049-2049	EmailLocalPartFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8008-8008	结束函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5951-5951	节点末端 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8932-8932	EveningFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1148-1148	专属捕鱼区 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1320-1320	行政部门 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1180-1180	延伸捕鱼区 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1759-1759	延伸函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4509-4509	FailureFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3664-3664	FarmOfProductFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3225-3225	第一 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3696-3696	财政年度 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 886-886	适合兵役的男性 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4826-4826	底整数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4892-4892	流 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4924-4924	流动区域 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14857-14857	FoodForFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 877-877	挪前函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8509-8509	未来函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2945-2945	GMBFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2988-2988	GMVFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5496-5496	概括交集函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5485-5485	概括结合函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 333-333	地理中心 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16710-16710	政府函数 是 一元函数 的 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