| 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 16134-16136 | |
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16133-16133 | |
| (subclass Argument Proposition) | Merge.kif 16132-16132 |
| appearance as argument number 2 |
|
|
| (subclass DeductiveArgument Argument) | Merge.kif 16152-16152 | |
| (subclass InductiveArgument Argument) | Merge.kif 16184-16184 | |
| (subclass LegalOpinion Argument) | Mid-level-ontology.kif 15325-15325 | |
| (termFormat ChineseLanguage Argument "争论") | domainEnglishFormat.kif 8349-8349 | |
| (termFormat ChineseTraditionalLanguage Argument "爭論") | domainEnglishFormat.kif 8348-8348 | |
| (termFormat EnglishLanguage Argument "argument") | domainEnglishFormat.kif 8347-8347 |
| appearance as argument number 3 |
|
|
| (domain PremisesFn 1 Argument) | Merge.kif 16199-16199 | |
| (domain conclusion 1 Argument) | Merge.kif 16215-16215 | |
| (domain premise 1 Argument) | Merge.kif 16191-16191 |
| antecedent |
|
|
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 16204-16210 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (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 20129-20158 | |
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 16145-16150 |
| consequent |
|
|
| (=> (evidence ?LA ?P) (exists (?A) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 223-231 | |
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 853-860 | |
| (=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 16138-16143 |
|
|
|