Argument - Sigma Knowledge base Browser

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 16836-16838
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16835-16835	Argument est compl�tement d�compos� en DeductiveArgument + InductiveArgument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16834-16834	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 16854-16854	DeductiveArgument est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16886-16886	InductiveArgument est une sous-classe de Argument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16182-16182	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 16901-16901	Le nombre 1 argument de PremisesFn est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16917-16917	Le nombre 1 argument de conclusion est une instance de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16893-16893	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 16906-16912	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.	Mid-level-ontology.kif 21146-21176	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 16847-16852	Argument est une instance de Argument proposition Argument l'argument d' introduction Argument est proposition 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 909-916	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 16840-16845	Processus est une instance de raisonner proposition proposition est une instance de Argument processus exprime le contenu de proposition

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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