No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3615-3615	newRegisteredUsers 的 3 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4446-4446	orthogonalTests 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4448-4448	orthogonalTests 的 2 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 474-474	statisticalPopulation 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 475-475	statisticalPopulation 的 2 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1290-1290	子集 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	子集 的 2 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 603-603	tTest 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 604-604	tTest 的 2 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3958-3958	treatmentGroup 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1243-1243	watchingListings 的 2 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 821-821	webPurchases 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 913-913	webSales 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 681-681	webcart 的 2 数量 是 群体 的 instance

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