No TPTP formula. May not be expressible in strict first order.	Music.kif 828-828	PlayingInstrumentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31687-31687	人口 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 945-945	港口设施 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 795-795	幂集函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5332-5332	前继数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16899-16899	前提函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1358-1358	PressingKeyFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2572-2572	表示机率的函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4272-4272	属于财产函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4164-4164	QPViewsFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4229-4229	QualifiedTreatmentsFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4196-4196	QualifyingEventsFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3031-3031	QualifyingPurchasesFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4955-4955	半径 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5053-5053	有理数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5060-5060	实数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 184-184	ReceivingAnObjectFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5067-5067	倒数函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 881-881	区域法 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8026-8026	居民 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3061-3061	ReverseFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5167-5167	四舍五入函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3709-3709	SRPEngagementFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13508-13508	SenseImpairmentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13528-13528	SenseInabilityFn 是 一元函数 的 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