TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1682-1682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1549-1550
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 323-324
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1547-1547	Formula e' uma sub-classe de Frase

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 847-847
No TPTP formula. May not be expressible in strict first order.	english_format.kif 896-896
No TPTP formula. May not be expressible in strict first order.	french_format.kif 523-523
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 54-54
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 57-57
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2208-2208
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 544-544
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 58-58

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5583-5583	O argumento numero 2 de KappaFn e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2573-2573	O argumento numero 1 de ProbabilityFn e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2127-2127	O argumento numero 3 de attitudeForFormula e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2811-2811	O argumento numero 2 de believes e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3822-3822	O argumento numero 1 de causesProposition e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3823-3823	O argumento numero 2 de causesProposition e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2583-2583	O argumento numero 1 de conditionalProbability e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2584-2584	O argumento numero 2 de conditionalProbability e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3993-3993	O argumento numero 2 de confersNorm e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17454-17454	O argumento numero 1 de confersObligation e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17433-17433	O argumento numero 1 de confersRight e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2801-2801	O argumento numero 2 de considers e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1368-1368	O argumento numero 2 de containsFormula e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2616-2616	O argumento numero 1 de decreasesLikelihood e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2617-2617	O argumento numero 2 de decreasesLikelihood e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4015-4015	O argumento numero 2 de deprivesNorm e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16147-16147	O argumento numero 1 de describes e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2789-2789	O argumento numero 2 de desires e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7441-7441	O argumento numero 2 de disapproves e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7411-7411	O argumento numero 2 de doubts e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 770-770	O argumento numero 1 de entails e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 771-771	O argumento numero 2 de entails e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10590-10590	O argumento numero 2 de expects e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3946-3946	O argumento numero 2 de hasPurpose e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3962-3962	O argumento numero 2 de hasPurposeForAgent e' uma instancia de Formula

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.	Government.kif 766-772	agreementEffectiveDuring Proposicao and Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Formula e' uma instancia de Formula Formula contem informacao Proposicao Formula vale durante Posicao Temporal
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.	Merge.kif 13226-13231	Processo e' uma instancia de Comprometer-se Formula e' um patient de Processo Formula e' uma instancia de Formula o argumento Formula tem a forca modal de Promise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	Formula e' uma instancia de Formula Formula e' uma instancia de Formula Formula aumenta a probabilidade de Formula Formula diminui a probabilidade de Formula as probabilidades de Formula e Formula sao independentes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13213-13219	Processo e' uma instancia de Questionar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Formula AutonomousAgent nao sabe %n Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13200-13206	Processo e' uma instancia de Pedir Processo e' um agente de Agente Cognitivo Formula e' um patient de Processo Formula e' uma instancia de Formula Agente Cognitivo deseja Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13142-13148	Processo e' uma instancia de Declarar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Formula AutonomousAgent acredita que Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15400-15407	ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de FactualText Agente Cognitivo e' o autor de Objeto Representendo Conteudo Abstrato ContentBearingPhysical subsume o conteudo de Formula Formula e' uma instancia de Formula Agente Cognitivo acredita que Formula
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

consequent

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.	Merge.kif 12928-12932	Processo e' uma instancia de Investigacao Entidade e' um patient de Processo Entidade e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1134-1138	Colecao e' uma instancia de VisitorProfile Fisico e' membro de Colecao Fisico e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2702-2706	Entidade e' uma instancia de Atitude pProposicional Entidade Entidade and Entidade Entidade e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de FictionalText Agente Cognitivo e' o autor de Objeto Representendo Conteudo Abstrato Formula ContentBearingPhysical subsume o conteudo de Formula Formula e' uma instancia de Formula Agente Cognitivo acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	Proposicao e' uma instancia de Constitution Formula Proposicao Formula e' uma instancia de Formula Formula contem informacao Proposicao Proposicao e' uma instancia de Proposicao Proposicao e' uma &sub-proposicao de Proposicao o argumento Formula tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Government.kif 663-671	Proposicao e' uma instancia de Constitution Formula Proposicao Formula e' uma instancia de Formula Formula contem informacao Proposicao Proposicao e' uma instancia de Proposicao Proposicao e' uma &sub-proposicao de Proposicao o argumento Formula tem a forca modal de Permission
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.	ComputingBrands.kif 4235-4249	Processo e' uma instancia de Phishing Agente Cognitivo Agente Cognitivo, Processo and Formula Processo e' uma instancia de Communicacao Processo tem como origem Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo Formula e' uma instancia de Formula Agente Cognitivo sabe Formula Agente Cognitivo nao deseja %n Agente Cognitivo sabe Formula Agente Cognitivo deseja Agente Cognitivo sabe Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1140-1151	Colecao e' uma instancia de VisitorProfile AutonomousAgent WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Formula Formula e' membro de Colecao Formula e' uma instancia de Formula visitorParameter AutonomousAgent, Formula and WebSite

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: