TreeView Knowledge Base Browser - experimentalSubject

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

experimentalSubject

Sigma KEE - experimentalSubject

experimentalSubject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3919-3921
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 3915-3915	The number 2 argument of experimental subject is an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3911-3911	experimental subject is an instance of case role

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3362-3362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3361-3361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3360-3360
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3917-3917

antecedent

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 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

consequent

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 4061-4065	If a human is a qualified subject of an experimenting, then the experimenting is an instance of a kind of process and the human is capable of doing a kind of process as a experimental subject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4005-4007	If a human is a treated used in another human, then the other human is a subject in the human

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