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 16885-16887
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16884-16884	O conceito Argument e' completamente decomposto em DeductiveArgument + InductiveArgument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16883-16883	Argument e' uma sub-classe de Proposicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16903-16903	DeductiveArgument e' uma sub-classe de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16935-16935	InductiveArgument e' uma sub-classe de Argument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16210-16210	LegalOpinion e' uma sub-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	O argumento numero 1 de PremisesFn e' uma instancia de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16966-16966	O argumento numero 1 de conclusion e' uma instancia de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16942-16942	O argumento numero 1 de premise e' uma instancia de Argument

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16955-16961	Argument e' uma instancia de Argument Formula e' igual a o argumento da introducao de Argument Proposicao e' uma &sub-proposicao de Formula premise Argument and Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21174-21204	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16901	Argument e' uma instancia de Argument Formula Argument o argumento da introducao de Argument e' igual a Formula o argumento da conclusao Argument e' Argument

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	evidence Acao Legal and Fisico Argument FisicoROP FisicoROP e' uma instancia de Proposicao Argument e' uma instancia de Argument Argument inclui uma referencia a Acao Legal FisicoROP define Fisico premise Argument and FisicoROP
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 902-909	Processo e' uma instancia de Arguing ContentBearingPhysical Proposicao ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de Statement ContentBearingPhysical contem informacao Proposicao Proposicao e' uma instancia de Argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16889-16894	Processo e' uma instancia de Raciocinar Proposicao Proposicao e' uma instancia de Argument Processo exprime o conteudo de Proposicao

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