TreeView Knowledge Base Browser - Argument

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Argument

Argument

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3765-3766
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16885-16887
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16884-16884	Argument est compl�tement d�compos� en DeductiveArgument + InductiveArgument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16883-16883	Argument est une sous-classe de proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16903-16903	DeductiveArgument est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16935-16935	InductiveArgument est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16210-16210	LegalOpinion est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8340-8340
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8339-8339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8338-8338

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16950-16950	Le nombre 1 argument de PremisesFn est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16966-16966	Le nombre 1 argument de conclusion est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16942-16942	Le nombre 1 argument de premise est une instance de Argument

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16955-16961	Argument est une instance de Argument formule est introduction Argument proposition est une sous-proposition de formule premise Argument and proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21174-21204	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16901	Argument est une instance de Argument formule Argument l'argument d' introduction Argument est formule l'argument de conclusion Argument est Argument

consequent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 902-909	Processus est une instance de Arguing ContentBearingPhysical proposition ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de Statement ContentBearingPhysical contient information proposition proposition est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16889-16894	Processus est une instance de raisonner proposition proposition est une instance de Argument processus exprime le contenu de 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