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 16814-16816
(partition Argument DeductiveArgument InductiveArgument)	Merge.kif 16813-16813	Argument wird vollstaendig in DeductiveArgument und InductiveArgument verteilt
(subclass Argument Proposition)	Merge.kif 16812-16812	Argument ist eine teilkategorie von Proposition

appearance as argument number 2

(subclass DeductiveArgument Argument)	Merge.kif 16832-16832	DeductiveArgument ist eine teilkategorie von Argument
(subclass InductiveArgument Argument)	Merge.kif 16864-16864	InductiveArgument ist eine teilkategorie von Argument
(subclass LegalOpinion Argument)	Mid-level-ontology.kif 16183-16183	LegalOpinion ist eine teilkategorie von 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 16879-16879	Die Zahl 1 Argument von PremisesFn ist ein fall von Argument %n{nicht}
(domain conclusion 1 Argument)	Merge.kif 16895-16895	Die Zahl 1 Argument von conclusion ist ein fall von Argument %n{nicht}
(domain premise 1 Argument)	Merge.kif 16871-16871	Die Zahl 1 Argument von premise ist ein fall von Argument %n{nicht}

antecedent

(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16884-16890	Wenn Argument ist ein fall von Argument %n{nicht} und Proposition ist gleich PremisesFn Argument %n{nicht}, dann Proposition ist eine teilangelegenheit von Proposition %n{nicht} genau dann wenn premise Argument and Proposition
(=> (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 21147-21177	Wenn Proposition ist ein fall von Argument %n{nicht} und Process ist ein fall von Reasoning %n{nicht} und Proposition ist ein fall von Archeology %n{nicht} und Proposition ist eine teilangelegenheit von Proposition %n{nicht} und Process druekt den Inhalt von Proposition aus, dann es gibt Process, entity,, , Physical,, , RealNumber,, , entity, and und entity um Process ist ein fall von Discovering %n{nicht} und Physical ist ein fall von Object %n{nicht} und Physical ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf Process und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Process %n{nicht} und das alter von Physical ist RealNumber YearDuration(s) %n{nicht} und RealNumber ist groesserAls 50 %n{nicht} und entity ist eine flaeche von entity %n{nicht} und entity ist ein fall von BodyOfWater %n{nicht} und Physical ist Below hinsichlich entity %n{nicht} oder entity ist eine flaeche von entity %n{nicht} und entity ist ein fall von LandArea %n{nicht} und Physical ist Below hinsichlich entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht}
(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT))))	Merge.kif 16825-16830	Wenn Argument ist ein fall von Argument %n{nicht}, dann es gibt Proposition und Argument um PremisesFn Argument ist gleich Proposition %n{nicht} und conclusion Argument and 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	Wenn evidence LegalAction and Physical, dann es gibt Argument und PhysicalROP um PhysicalROP ist ein fall von Proposition %n{nicht} und Argument ist ein fall von Argument %n{nicht} und Argument umfasst einen hinweis auf LegalAction und PhysicalROP drueckt Physical aus und premise Argument and ** PhysicalROP
(=> (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	Wenn Process ist ein fall von Arguing %n{nicht}, dann es gibt ContentBearingPhysical und Proposition um ContentBearingPhysical ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein fall von Statement %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und Proposition ist ein fall von Argument %n{nicht}
(=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT))))	Merge.kif 16818-16823	Wenn Process ist ein fall von Reasoning %n{nicht}, dann es gibt Proposition um Proposition ist ein fall von Argument %n{nicht} und Process druekt den Inhalt von ** Proposition aus

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