TreeView Knowledge Base Browser - conclusion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - conclusion

conclusion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3781-3783
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16897-16900
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16895-16895	O argumento numero 1 de conclusion e' uma instancia de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16896	O argumento numero 2 de conclusion e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16892-16892	conclusion e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16893-16893	conclusion e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16894-16894	conclusion e' uma instancia de Relacao Total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 786-786
No TPTP formula. May not be expressible in strict first order.	english_format.kif 787-787
No TPTP formula. May not be expressible in strict first order.	french_format.kif 474-474
No TPTP formula. May not be expressible in strict first order.	english_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 426-426
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 496-496
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 787-787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16469-16469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16468-16468

antecedent

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

Merge.kif 16842-16851

Argument e' uma instancia de ValidDeductiveArgument Formula e' igual a o argumento da introducao de Argument o argumento da conclusao Formula e' Argument
ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical contem informacao Formula ContentBearingPhysical contem informacao Formula Formula implica Formula

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16825-16830	Argument e' uma instancia de Argument Proposicao Argument o argumento da introducao de Argument e' igual a Proposicao o argumento da conclusao Argument e' Argument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16187-16194	Proposicao e' uma instancia de LegalOpinion Processo ContentBearingPhysical and Argument Processo e' uma instancia de LegalDecision ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical contem informacao Argument o argumento da conclusao Argument e' 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