TreeView Knowledge Base Browser - premise

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - premise

premise

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3777-3778
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16873-16875
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16871-16871	Le nombre 1 argument de premise est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16872-16872	Le nombre 2 argument de premise est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16869-16869	premise est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16870-16870	premise est une instance de relation total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2031-2031
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2030-2030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2029-2029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47192-47192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47191-47191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47190-47190

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16884-16890	Argument est une instance de Argument proposition est introduction Argument proposition est une sous-proposition de proposition premise Argument and proposition
No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	evidence action l�gale and physique Argument physiqueROP physiqueROP est une instance de proposition Argument est une instance de Argument Argument inclut une r�f�rence � action l�gale physiqueROP d�finie physique premise Argument and physiqueROP

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