|
|
   Arguing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Arguing EnglishLanguage "Any Stating which has the form of an Argument.") | Mid-level-ontology.kif 879-879 | |
| (subclass Arguing Stating) | Mid-level-ontology.kif 878-878 | Arguing est une sous-classe de d�clarer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Arguing "争论") | domainEnglishFormat.kif 8339-8339 | |
| (termFormat ChineseTraditionalLanguage Arguing "爭論") | domainEnglishFormat.kif 8338-8338 | |
| (termFormat EnglishLanguage Arguing "arguing") | domainEnglishFormat.kif 8337-8337 |
| antecedent |
|
|
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 881-888 |
|
|
|
|