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	Le nombre 1 argument de conclusion est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16896	Le nombre 2 argument de conclusion est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16892-16892	conclusion est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16893-16893	conclusion est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16894-16894	conclusion est une instance de relation 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 est une instance de ValidDeductiveArgument formule est introduction Argument l'argument de conclusion formule est Argument
ContentBearingPhysical ContentBearingPhysical ContentBearingPhysical contient information formule ContentBearingPhysical contient information formule formule n�cessite formule

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16825-16830	Argument est une instance de Argument proposition Argument l'argument d' introduction Argument est proposition l'argument de conclusion Argument est Argument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16187-16194	Proposition est une instance de LegalOpinion processus ContentBearingPhysical and Argument processus est une instance de LegalDecision ContentBearingPhysical est le resultat de processus ContentBearingPhysical contient information Argument l'argument de conclusion Argument est proposition

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