TreeView Knowledge Base Browser - treatmentGroup

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - treatmentGroup

treatmentGroup

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3964-3966
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 3960-3960	Le nombre 2 argument de treatmentGroup est une instance de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3956-3956	treatmentGroup est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4826-4826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4825-4825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4824-4824
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3962-3962

consequent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 3968-3979

Processus est une instance de processus Experimenting est une instance de Experimenting processus est une instance de AutonomousAgent AutonomousAgent exp�rimente processus experimentalVariableProcess Experimenting and processus
entit�_GROUP entit�_GROUP est une instance de collection processus est un membre de entit�_GROUP treatmentGroup entit�_GROUP and Experimenting

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