TreeView Knowledge Base Browser - True

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

True

Sigma KEE - True

True

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3796-3796
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17053-17053
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17052-17052	True e' uma instancia de Valor Verdade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17056-17056	False e' &o oposto de True
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59326-59326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59325-59325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59324-59324

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1837-1841	Functioning e' um atributo de Objeto Objeto tem por fim Formula truth Formula and True
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.	Mid-level-ontology.kif 17924-17929	Processo e' uma instancia de Installing Fisico e' um patient de Processo Fisico tem por fim Formula truth Formula and True vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13004-13009	Processo e' uma instancia de Regretting Frase e' um patient de Processo Frase e' uma instancia de Frase truth Frase and True
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.	Law.kif 65-78	prohibits AutonomousAgent and Entidade vale durante Intervalo Temporal Processo Entidade and Entidade Processo e' uma instancia de Declarar tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent containsFormula Processo and Entidade e' um agente de Entidade causa truth Entidade and True punishes AutonomousAgent and Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14273-14275	Frase e' uma instancia de Fact truth Frase and True
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2839-2841	Agente Cognitivo sabe Formula truth Formula and True
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17600-17606	O argumento Formula tem a forca modal de Likely a probabilidade de truth Formula and True e' maior que a probabilidade de truth Formula and False
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17612-17618	O argumento Formula tem a forca modal de Unlikely a probabilidade de truth Formula and False e' maior que a probabilidade de truth Formula and True

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