No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3615-3615	Le nombre 3 argument de newRegisteredUsers est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4446-4446	Le nombre 1 argument de orthogonalTests est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4448-4448	Le nombre 2 argument de orthogonalTests est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 474-474	Le nombre 1 argument de statisticalPopulation est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 475-475	Le nombre 2 argument de statisticalPopulation est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1290-1290	Le nombre 1 argument de subCollection est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	Le nombre 2 argument de subCollection est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 603-603	Le nombre 1 argument de tTest est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 604-604	Le nombre 2 argument de tTest est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3958-3958	Le nombre 1 argument de treatmentGroup est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1243-1243	Le nombre 2 argument de watchingListings est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 821-821	Le nombre 1 argument de webPurchases est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 913-913	Le nombre 1 argument de webSales est une instance de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 681-681	Le nombre 2 argument de webcart est une instance de 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