No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3615-3615	The number 3 argument of new registered users is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4446-4446	The number 1 argument of managed orthogonal is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4448-4448	The number 2 argument of managed orthogonal is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 474-474	The number 1 argument of statistical population is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 475-475	The number 2 argument of statistical population is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1290-1290	The number 1 argument of sub collection is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	The number 2 argument of sub collection is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 603-603	The number 1 argument of t test result is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 604-604	The number 2 argument of t test result is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3958-3958	The number 1 argument of treatment group is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1243-1243	The number 2 argument of watching listings is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 821-821	The number 1 argument of web purchases is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 913-913	The number 1 argument of web sales is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 681-681	The number 2 argument of web cart is an instance of 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