No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3615-3615	域 newRegisteredUsers, 3 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4446-4446	域 orthogonalTests, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4448-4448	域 orthogonalTests, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 474-474	域 statisticalPopulation, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 475-475	域 statisticalPopulation, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1290-1290	域 子集合, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	域 子集合, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 603-603	域 tTest, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 604-604	域 tTest, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3958-3958	域 treatmentGroup, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1243-1243	域 watchingListings, 2 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 821-821	域 webPurchases, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 913-913	域 webSales, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 681-681	域 webcart, 2 and Collection

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