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 12950-12952
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12949-12949	Experimenting e' uma sub-classe de Investigacao

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	O argumento numero 1 de GPIFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3125-3125	O argumento numero 1 de GPSFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3084-3084	O argumento numero 1 de PPIFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3047-3047	O argumento numero 1 de PPSFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4198-4198	O argumento numero 1 de QualifyingEventsFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3033-3033	O argumento numero 1 de QualifyingPurchasesFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4274-4274	O argumento numero 1 de TreatedUsersFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4301-4301	O argumento numero 1 de burnInPeriod e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 528-528	O argumento numero 1 de confidenceInterval e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3843-3843	O argumento numero 2 de controlGroup e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2824-2824	O argumento numero 1 de conversionEvent e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4331-4331	O argumento numero 1 de exclusiveEvent e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4017-4017	O argumento numero 2 de experimentID e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2673-2673	O argumento numero 2 de experimentUpdate e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15722-15722	O argumento numero 1 de experimentalControl e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3823-3823	O argumento numero 1 de experimentalControlProcess e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3913-3913	O argumento numero 1 de experimentalSubject e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4036-4036	O argumento numero 2 de experimentalTreatmentCollection e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3870-3870	O argumento numero 1 de experimentalVariableProcess e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3942-3942	O argumento numero 1 de experimenter e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2694-2694	O argumento numero 2 de finalExperimentReport e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 566-566	O argumento numero 1 de pValue e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4054-4054	O argumento numero 1 de qualifiedExperiment e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4072-4072	O argumento numero 1 de qualifiedPageView e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4093-4093	O argumento numero 1 de qualifiedTreatment e' uma instancia de 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	confidenceInterval Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Frase e' uma instancia de Formula Frase e' um patient de Experimenting Numero Real e' igual a 100 truth Frase and False
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	confidenceInterval Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Frase e' uma instancia de Formula Frase e' um patient de Experimenting Numero Real e' igual a 100 truth Frase and True
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	confidenceInterval Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Formula e' uma instancia de Formula Formula e' um patient de Experimenting Numero Real define a probabilidade de Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent Experimenting e' uma instancia de Experimenting treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta Processo exclusiveEvent Experimenting and Processo ExperimentingERIMENTER ExperimentingERIMENTER e' uma instancia de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER acredita que o argumento Processo causa Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3897-3902	Experimenting e' uma instancia de Experimenting experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3829-3833	Experimenting e' uma instancia de Experimenting experimentalControlProcess Experimenting and Processo Processo e' um sub-processo de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3889-3894	Experimenting e' uma instancia de Experimenting experimentalVariableProcess Experimenting and Processo experimentalControlProcess Experimenting and Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3882-3886	Experimenting e' uma instancia de Experimenting experimentalVariableProcess Experimenting and Processo Processo e' um sub-processo de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	Experimenting e' uma instancia de Experimenting Intervalo Temporal e' uma instancia de Intervalo Temporal o numero de instancias dentro de a classe descrita por Sequencia Simbolica + o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a PPIFn Experimenting and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	Experimenting e' uma instancia de Experimenting Entidade e' uma instancia de Intervalo Temporal o numero de instancias dentro de a classe descrita por Sequencia Simbolica + o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a PPSFn Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	Experimenting e' uma instancia de Experimenting Humano e' uma instancia de Humano experimentalSubject Experimenting and Humano Processo Processo e' uma instancia de Processo Humano experimenta Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	Processo e' uma instancia de Experimenting Entidade e' o resultado de Processo Entidade e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting Agente Cognitivo e' uma instancia de Agente Cognitivo Experimenting e' um agente de Agente Cognitivo statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Atributo Atributo e' uma instancia de Atributo Entidade_COLL tem um atributo de Atributo Agente Cognitivo esta' interessado em Atributo Atributo e' igual a RepresentativeSample Entidade_COLL tem um atributo de Atributo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Entidade_COLL e' uma sub-colecao de Entidade_COLL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processo e' uma instancia de MultivariateTest Experimenting e' um sub-processo de Processo Experimenting e' um sub-processo de Processo Experimenting e' uma instancia de Experimenting Experimenting e' uma instancia de Experimenting Processo e' uma instancia de Processo Processo e' uma instancia de Processo experimentalVariableProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo Processo e' uma instancia de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP controlGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP treatmentGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao Experimenting Fisico Processo Experimenting e' uma instancia de Experimenting Fisico e' uma instancia de Processo Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de Processo Humano e' capaz de fazer Processo no role experiencer Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Processo Experimenting FisicoESS Experimenting e' uma instancia de Experimenting Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de FisicoESS Humano e' capaz de fazer FisicoESS no role experiencer QualifiedTreatmentsFn Humano e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao WebPage Processo and Experimenting WebPage e' uma instancia de WebPage Processo e' uma instancia de AccessingWebPage Experimenting e' uma instancia de Experimenting Processo e' um agente de Humano WebPage e' um patient de Processo treatedPage WebPage and Experimenting Processo e' membro de Colecao Colecao e' igual a QPViewsFn Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	orthogonalTests Colecao and Colecao Objeto e' uma instancia de Humano Fisico e' uma instancia de Processo Processo e' uma sub-classe de Experimenting Fisico e' membro de Colecao Objeto e' capaz de fazer Processo no role experimentalSubject Fisico Processo Fisico e' uma instancia de Processo Fisico e' membro de Colecao Processo e' uma sub-classe de Experimenting Objeto e' capaz de fazer Processo no role experimentalSubject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 577-584	pValue Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Frase e' uma instancia de Formula Frase e' um patient de Experimenting Numero Real e' igual a 0 truth Frase and True
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 586-593	pValue Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Frase e' uma instancia de Formula Frase e' um patient de Experimenting Numero Real e' igual a 1 truth Frase and False
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 569-575	pValue Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Formula e' uma instancia de Formula Formula e' um patient de Experimenting Numero Real define a probabilidade de Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	Processo e' uma instancia de Experimenting Formula Entidade Entidade e' uma instancia de Formula Entidade e' o resultado de Processo Formula e' uma instancia de Formula Formula e' um patient de Processo a probabilidade de Formula define Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	Experimenting e' uma instancia de Experimenting Entidade_EVENTS Entidade_EVENTS e' uma instancia de Colecao Processo Processo e' uma instancia de Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo e' membro de Entidade_EVENTS QualifyingEventsFn Experimenting e' igual a Entidade_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	Atributo e' um atributo de Objeto Atributo e' uma instancia de ExperimentAttribute Objeto e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4495-4499	Colecao e' uma instancia de MultivariateTest Fisico e' membro de Colecao Fisico e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	orthogonalTests Colecao and Colecao Objeto e' uma instancia de Humano Fisico e' uma instancia de Processo Processo e' uma sub-classe de Experimenting Fisico e' membro de Colecao Objeto e' capaz de fazer Processo no role experimentalSubject Fisico Processo Fisico e' uma instancia de Processo Fisico e' membro de Colecao Processo e' uma sub-classe de Experimenting Objeto e' capaz de fazer Processo no role experimentalSubject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4455-4459	orthogonalTests Colecao and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4461-4465	orthogonalTests Colecao and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15710-15715	Objeto e' uma instancia de Laboratory Processo Processo e' uma instancia de Experimenting eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	ContentBearingPhysical e' uma instancia de TestProtocolSpecification Proposicao Processo and Processo Proposicao e' uma instancia de Plano Processo e' uma instancia de Experimenting Processo e' uma instancia de Processo Proposicao define Processo Processo e' um sub-processo de Processo ContentBearingPhysical contem informacao Proposicao

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: