TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3232-3233
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12996-12998
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12995-12995	Experimenting is a subclass of investigating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22816-22816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22815-22815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22814-22814

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3158-3158	The number 1 argument of GPW is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3125-3125	The number 1 argument of GPS is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3084-3084	The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3047-3047	The number 1 argument of qualifying purchases per user is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4198-4198	The number 1 argument of Qualifying Factor or Event is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3033-3033	The number 1 argument of Qualifying Purchase is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4274-4274	The number 1 argument of treated users fn is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4301-4301	The number 1 argument of burn-in period is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 528-528	The number 1 argument of confidence interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3843-3843	The number 2 argument of control group is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2824-2824	The number 1 argument of conversionEvent is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4331-4331	The number 1 argument of exclusive is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4017-4017	The number 2 argument of experiment identifier string is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2673-2673	The number 2 argument of live experiment update is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15749-15749	The number 1 argument of experimental control is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3823-3823	The number 1 argument of experimental control (process) is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3913-3913	The number 1 argument of experimental subject is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4036-4036	The number 2 argument of experimental treatment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3870-3870	The number 1 argument of experimental variable (process) is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3942-3942	The number 1 argument of experimental subject is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2694-2694	The number 2 argument of final experiment report is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 566-566	The number 1 argument of confidence interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4054-4054	The number 1 argument of qualified experiment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4072-4072	The number 1 argument of qualified page view is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4093-4093	The number 1 argument of qualified treatment is an instance of experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 549-556	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is false
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is true
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3897-3902	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then not the process is a process in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3829-3833	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then the process is a subprocess of the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3889-3894	If an experimenting is an instance of experimenting and a process is a process in the experimenting, then not the control in experiment the experimenting is the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3882-3886	If an experimenting is an instance of experimenting and a process is a process in the experimenting, then the process is a subprocess of the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	If an experimenting is an instance of experimenting and a human is an instance of human and the human is a subject in the experimenting, then there exists a process such that the process is an instance of process and the human experiences the process and the control in experiment the experimenting is the process or the process is a process in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	If a process is an instance of experimenting and an entity is a result of the process, then the entity is an instance of formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then the entity_COLL is a proper sub-collection of the other entity_COLL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	If a human is an instance of human and a collection is an instance of collection and for all an experimenting and a physical if there exists a kind of process such that the experimenting is an instance of experimenting and the physical is an instance of process and the physical is a member of events in the experimenting and the physical is an instance of a kind of process and the human is capable of doing the kind of process as a experiencer, then the physical is a member of the collection and if another physical is a member of the collection, then the other physical is an instance of process and there exist another experimenting and the other physicalESS such that the other experimenting is an instance of experimenting and the other physical is a member of events in the other experimenting and the other physical is an instance of the other physicalESS and the human is capable of doing the other physicalESS as a experiencer , then all the processes the human is qualified for is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	If a human is an instance of human and a collection is an instance of collection and for all a web page, a process and an experimenting if the web page is an instance of web page and the process is an instance of accessing web page and the experimenting is an instance of experimenting and the human is an agent of the process and the web page is a patient of the process and the web page is the object of study of the experimenting, then the process is a member of the collection , then the collection is equal to all the treated web page views from the human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 577-584	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 0, then the sentence is true
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 586-593	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 1, then the sentence is false
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 569-575	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	If a process is an instance of experimenting, then there exist a formula and an entity such that the entity is an instance of formula and the entity is a result of the process and the formula is an instance of formula and the formula is a patient of the process and the probability of the formula expresses the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4407-4411	If an attribute is an attribute of an object and the attribute is an instance of experiment attribute, then the object is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4495-4499	If a collection is an instance of multivariate test and a physical is a member of the collection, then the physical is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4455-4459	If a collection and another collection are orthogonal tests and a physical is a member of the collection, then the physical is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4461-4465	If a collection and another collection are orthogonal tests and a physical is a member of the other collection, then the physical is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15737-15742	If an object is an instance of laboratory, then there exists a process such that the process is an instance of experimenting and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	If a content bearing physical is an instance of test protocol specification, then there exist a proposition, a process and another process such that the proposition is an instance of plan and the process is an instance of experimenting and the other process is an instance of process and the proposition expresses the other process and the process is a subprocess of the other process and the content bearing physical contains information the proposition

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: