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

(documentation Argument ChineseLanguage "这是任何具有演绎或归纳论证形式的命题，即是一组声称、暗示一种结论的前提。")	chinese_format.kif 3765-3766
(documentation Argument EnglishLanguage "Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.")	Merge.kif 16836-16838
(partition Argument DeductiveArgument InductiveArgument)	Merge.kif 16835-16835	O conceito Argument e' completamente decomposto em DeductiveArgument + InductiveArgument
(subclass Argument Proposition)	Merge.kif 16834-16834	Argument e' uma sub-classe de Proposicao

appearance as argument number 2

(subclass DeductiveArgument Argument)	Merge.kif 16854-16854	DeductiveArgument e' uma sub-classe de Argument
(subclass InductiveArgument Argument)	Merge.kif 16886-16886	InductiveArgument e' uma sub-classe de Argument
(subclass LegalOpinion Argument)	Mid-level-ontology.kif 16182-16182	LegalOpinion e' uma sub-classe de Argument
(termFormat ChineseLanguage Argument "争论")	domainEnglishFormat.kif 8340-8340
(termFormat ChineseTraditionalLanguage Argument "爭論")	domainEnglishFormat.kif 8339-8339
(termFormat EnglishLanguage Argument "argument")	domainEnglishFormat.kif 8338-8338

appearance as argument number 3

(domain PremisesFn 1 Argument)	Merge.kif 16901-16901	O argumento numero 1 de PremisesFn e' uma instancia de Argument
(domain conclusion 1 Argument)	Merge.kif 16917-16917	O argumento numero 1 de conclusion e' uma instancia de Argument
(domain premise 1 Argument)	Merge.kif 16893-16893	O argumento numero 1 de premise e' uma instancia de Argument

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16906-16912	Argument e' uma instancia de Argument Proposicao e' igual a o argumento da introducao de Argument Proposicao e' uma &sub-proposicao de Proposicao premise Argument and Proposicao
(=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 21146-21176	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
(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT))))	Merge.kif 16847-16852	Argument e' uma instancia de Argument Proposicao Argument o argumento da introducao de Argument e' igual a Proposicao o argumento da conclusao Argument e' Argument

consequent

(=> (evidence ?LA ?P) (exists (?A ?PROP) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP))))	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
(=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument))))	Mid-level-ontology.kif 909-916	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
(=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT))))	Merge.kif 16840-16845	Processo e' uma instancia de Raciocinar Proposicao Proposicao e' uma instancia de Argument Processo exprime o conteudo de Proposicao

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